Commit 21bbecc
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 439d6d3 commit 21bbecc
File tree
3 files changed
+260
-259
lines changed- jbmc/regression/jbmc/lots_of_local_variables
3 files changed
+260
-259
lines changedBinary file not shown.
0 commit comments