cerc-io/solidity
10
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 LP unknown Z3 known test case.

Browse Source
This commit is contained in:
Bhargava Shastry 2022-03-02 15:34:43 +01:00
parent de338e60de
commit 4e915e05cd
1 changed files with 18 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
test/libsolutil/LP.cpp
View File

@ -183,6 +183,23 @@ BOOST_AUTO_TEST_CASE(fuzzer3)
infeasible(); infeasible();
} }
BOOST_AUTO_TEST_CASE(lpunknownz3known)
{
addFuzzerInput(
{
{0,0,78,0,6,-23,53,57,-5},
{0,62,0,0,0,0,0,0,0,65,-3},
{0,0,95,-92,0,0,0,-55,100,14},
{0,0,83,0,690,0,-3},
{1,0,36,-12,6,0,0,0,0,6,8},
{0,0,0,43,0,-34},
{0,0,0,0,0,-20,0,9,0,-57}
}
);
// TODO: Add Z3 solution here.
feasible({});
}
BOOST_AUTO_TEST_CASE(fuzzer2) BOOST_AUTO_TEST_CASE(fuzzer2)
{ {
/* /*
@ -460,7 +477,7 @@ BOOST_AUTO_TEST_CASE(reasons_split)
infeasible({0, 2}); infeasible({0, 2});
} }
BOOST_AUTO_TEST_CASE(fuzzer2) BOOST_AUTO_TEST_CASE(fuzzer2handwritten)
{ {
/* /*
1,-1,0,0,0,0,90,9 1,-1,0,0,0,0,90,9