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

Apply suggestions from code review

Browse Source 
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
This commit is contained in:
chriseth 2022-02-17 10:29:58 +01:00
parent 0225f366f5
commit 56546a1b57
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
libsolutil/LP.cpp
View File

@ -277,7 +277,7 @@ pair<LPResult, Tableau> simplexPhaseI(Tableau _tableau)
LPResult result; LPResult result;
tie(result, _tableau) = simplexEq(move(_tableau)); tie(result, _tableau) = simplexEq(move(_tableau));
solAssert(result == LPResult::Feasible || result == LPResult::Unbounded, ""); solAssert(result != LPResult::Infeasible, "");
vector<rational> optimum = solutionVector(_tableau); vector<rational> optimum = solutionVector(_tableau);
@ -325,7 +325,7 @@ pair<LPResult, vector<rational>> simplex(vector<Constraint> _constraints, Linear
// but it might not be optimal. // but it might not be optimal.
LPResult result; LPResult result;
tie(result, tableau) = simplexEq(move(tableau)); tie(result, tableau) = simplexEq(move(tableau));
solAssert(result == LPResult::Feasible || result == LPResult::Unbounded, ""); solAssert(result != LPResult::Infeasible, "");
return make_pair(result, solutionVector(tableau)); return make_pair(result, solutionVector(tableau));
} }