Code

Unroll enumeration values() loops#2651

Code

Merged

smowton merged 6 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/unroll-enum-clone-loopssmowton/cbmc:smowton/feature/unroll-enum-clone-loopsCopy head branch name to clipboard

Aug 2, 2018

Commits

Commits on Aug 2, 2018

• Symex: expose call stack to unwinding decision making

  Show description for 714de0d
  smowton

  committed
  714de0d

  Copy full SHA for 714de0d

• java-unwind-enum-static: also unwind clone loop in Enum.values()

  Show description for 6270968
  smowton

  committed
  6270968

  Copy full SHA for 6270968

• Change source location of jump target in {table|lookup}switch

  Show description for 361469b
  

  Matthias Güdemann

  authored and

  smowton

  committed
  361469b

  Copy full SHA for 361469b

• Interpreter: deal with member-of-constant-struct expressions

  Show description for a985eae
  smowton

  committed
  a985eae

  Copy full SHA for a985eae

• Add regression tests for changes to JBMC enumeration support

  Show description for c9a53f9
  

  Matthias Güdemann

  authored and

  smowton

  committed
  c9a53f9

  Copy full SHA for c9a53f9

• Mark regression tests as expecting failure for symex driven loading

  Show description for 4f158a3
  

  Matthias Güdemann

  authored and

  smowton

  committed
  4f158a3

  Copy full SHA for 4f158a3