[TG-3581] Better Support for Enums in JBMC#2569

Closed

mgudemann wants to merge 10 commits intodiffblue:developfrom

mgudemann:feature/java/enum_support

Commits on Jul 31, 2018

Move `add_array_types` to java_utils
Matthias Güdemann
committed
Replace calls to array.clone in values for Enum
Matthias Güdemann
committed
Clarify in convert methods
Matthias Güdemann
committed
Split `add_array_type`, specialize for enums
Matthias Güdemann
committed
Add `java_enum_array_clone_unwind_handler`
Matthias Güdemann
committed
Change source location of jump target in {table|lookup}switch
Matthias Güdemann
committed
Interpreter: deal with member-of-constant-struct expressions

smowton
authored and
Matthias Güdemann
committed
Add regression tests for changes to JBMC enumeration support
Matthias Güdemann
committed
Evaluate array index before simplify
Matthias Güdemann
committed
Mark regression tests as expecting failure for symex driven loading
Matthias Güdemann
committed