Commit 1f9deb3

authored

Merge pull request diffblue#2333 from tautschnig/reduce-test-memory-footprint

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

2 parents 04a8c35 + 21bbecc commit 1f9deb3Copy full SHA for 1f9deb3

3 files changed

+260

-259

lines changed

jbmc/regression/jbmc/lots_of_local_variables

3 files changed

+260

-259

lines changed

`‎jbmc/regression/jbmc/lots_of_local_variables/TooManyLocals.class`

-356 Bytes

Binary file not shown.

Comments

(0)