cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add test.

Browse Source
This commit is contained in:
chriseth
2022-02-17 11:55:51 +01:00
parent 1d37398f04
commit 0225f366f5
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/libsolutil/LP.cpp
+8
View File
@@ -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");