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

Forward unknown.

Browse Source
This commit is contained in:
chriseth 2022-03-01 15:13:32 +01:00
parent 3203b73c64
commit 922837b44c
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsolutil/LP.cpp
View File

@ -317,6 +317,8 @@ pair<LPResult, Tableau> simplexPhaseI(Tableau _tableau)
LPResult result;
tie(result, _tableau) = simplexEq(move(_tableau));
if (result == LPResult::Unknown)
return make_pair(LPResult::Unknown, Tableau{});
solAssert(result != LPResult::Infeasible, "");
vector<rational> optimum = solutionVector(_tableau);