Fix/bytecode args write from stack#951

Merged

kroening merged 8 commits intodiffblue:masterfrom

mgudemann:fix/bytecode_args_write_from_stack

Jun 18, 2017

Commits on May 24, 2017

Adapt existing regression tests
Matthias Güdemann
committed
Add regression tests for `iload`, `dup`, `dup_x1`, `dup_x2`
Matthias Güdemann
committed
Add regression tests for `dup2`, `dup2_x1` and `dup2_x2`
Matthias Güdemann
committed
Add regression test for `getfield`, `getstatic`
Matthias Güdemann
committed
Add regression test for ?store
Matthias Güdemann
committed
Add regression test for ?astore
Matthias Güdemann
committed
Add README to tests pointing to jasmin bytecode assembler
Matthias Güdemann
committed

Commits on May 25, 2017

Add temporary variables for values on stack for write operations
Matthias Güdemann
committed