Skip to content

Commit 68ab074

Browse files
tautschnigDaniel Kroening
authored and
Daniel Kroening
committed
Reduce memory cost of test by using a scalar variable instead of an array
The test previously required 2.6GB of memory to complete, and was sometimes getting killed (seemingly only in the CMake configuration, though). Just adding them up in a scalar variable seems to suffice to prove the effectiveness of the original bugfix in e976d6f. It did, however, take adding one more variable to actually cause an invariant failure - with 256 variables the sum was just wrong.
1 parent 04a8c35 commit 68ab074

File tree

3 files changed

+260
-259
lines changed

3 files changed

+260
-259
lines changed
Binary file not shown.

0 commit comments

Comments
 (0)