From 3c75adecc6c607c94eb53c65a186d32ee9c1f8c6 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Wed, 16 Feb 2022 17:11:02 +0100
Subject: [PATCH] Add test.

---
 test/libsolutil/LP.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/test/libsolutil/LP.cpp b/test/libsolutil/LP.cpp
index 519050386..8bc6edd57 100644
--- a/test/libsolutil/LP.cpp
+++ b/test/libsolutil/LP.cpp
@@ -283,6 +283,14 @@ BOOST_AUTO_TEST_CASE(equal_constant)
 	feasible({{"x", 5}, {"y", 5}});
 }
 
+BOOST_AUTO_TEST_CASE(equal_constant)
+{
+	auto x = variable("x");
+	auto y = variable("y");
+	addEQConstraint(-6 * x - 6 * y, constant(8));
+	infeasible();
+}
+
 BOOST_AUTO_TEST_CASE(linear_dependent)
 {
 	auto x = variable("x");