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

Fix fuzzer bug.

Browse Source
This commit is contained in:
chriseth 2022-02-16 17:05:00 +01:00
parent 83b96e6a75
commit 0e54562de4
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
libsolutil/LP.cpp
View File

@ -74,8 +74,7 @@ struct Tableau
/// Adds slack variables to remove non-equality costraints from a set of constraints /// Adds slack variables to remove non-equality costraints from a set of constraints
/// and returns the data part of the tableau / constraints. /// and returns the data part of the tableau / constraints.
/// The second return variable is true if a non-equality constraint was /// The second return variable is true if a the original input had any equality constraints.
/// found and thus new variables have been added.
pair<vector<LinearExpression>, bool> toEquationalForm(vector<Constraint> _constraints) pair<vector<LinearExpression>, bool> toEquationalForm(vector<Constraint> _constraints)
{ {
size_t varsNeeded = static_cast<size_t>(ranges::count_if(_constraints, [](Constraint const& _c) { return !_c.equality; })); size_t varsNeeded = static_cast<size_t>(ranges::count_if(_constraints, [](Constraint const& _c) { return !_c.equality; }));
@ -101,7 +100,7 @@ pair<vector<LinearExpression>, bool> toEquationalForm(vector<Constraint> _constr
for (Constraint& c: _constraints) for (Constraint& c: _constraints)
data.emplace_back(move(c.data)); data.emplace_back(move(c.data));
return make_pair(move(data), varsNeeded > 0); return make_pair(move(data), varsNeeded < _constraints.size());
} }
/// Finds the simplex pivot column: The column with the largest positive objective factor. /// Finds the simplex pivot column: The column with the largest positive objective factor.