Commit 52011cb

thk123

committed

Adding test demonstrating the too many variables problem

1 parent 35cf129 commit 52011cbCopy full SHA for 52011cb

3 files changed

+526

-0

lines changed

regression/cbmc-java/lots_of_local_variables

3 files changed

+526

-0

lines changed

`‎regression/cbmc-java/lots_of_local_variables/TooManyLocals.class`

9.76 KB

Binary file not shown.

Comments

(0)