Reduce memory cost of test by using a scalar variable instead of an a…

…rray 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.
diffblue · Jun 11, 2018 · 3e07e9a · 3e07e9a
1 parent 774060b
commit 3e07e9a
Show file tree

Hide file tree

Showing 2 changed files with 260 additions and 258 deletions.
diff --git a/jbmc/regression/jbmc/lots_of_local_variables/TooManyLocals.class b/jbmc/regression/jbmc/lots_of_local_variables/TooManyLocals.class