Code

Fix/bytecode args write from stack#951

Code

Merged

kroening merged 8 commits intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:fix/bytecode_args_write_from_stackmgudemann/cbmc:fix/bytecode_args_write_from_stackCopy head branch name to clipboard

Jun 18, 2017

Commits

Commits on May 24, 2017

• Adapt existing regression tests

  

  Matthias Güdemann

  committed
  c93cb8c

  Copy full SHA for c93cb8c

• Add regression tests for `iload`, `dup`, `dup_x1`, `dup_x2`

  

  Matthias Güdemann

  committed
  4c17377

  Copy full SHA for 4c17377

• Add regression tests for `dup2`, `dup2_x1` and `dup2_x2`

  

  Matthias Güdemann

  committed
  21cd8a5

  Copy full SHA for 21cd8a5

• Add regression test for `getfield`, `getstatic`

  

  Matthias Güdemann

  committed
  953fb43

  Copy full SHA for 953fb43

• Add regression test for ?store

  

  Matthias Güdemann

  committed
  0b81ed6

  Copy full SHA for 0b81ed6

• Add regression test for ?astore

  

  Matthias Güdemann

  committed
  9368613

  Copy full SHA for 9368613

• Add README to tests pointing to jasmin bytecode assembler

  

  Matthias Güdemann

  committed
  b5cbb7f

  Copy full SHA for b5cbb7f

Commits on May 25, 2017

• Add temporary variables for values on stack for write operations

  Show description for 0ce085f
  

  Matthias Güdemann

  committed
  0ce085f

  Copy full SHA for 0ce085f