JBMC: Add symex-based program loading - #1759

Merged

smowton merged 9 commits into

diffblue:developfrom

smowton:smowton/feature/symex-driven-program-loading

Mar 22, 2018

Commits on Mar 22, 2018

Remove exceptions: add per-function entry point
smowton
committed
890b8b1
Java frontend: note availability of synthetic methods
smowton
committed
98741f9
Java frontend: rename externally driven loading
smowton
committed
8df9350
Add callback after symex to bmct
smowton
committed
978ca5b
JBMC: use symex-driven lazy loading
smowton
committed
7b5d73b
Add tests for symex-driven lazy loading
smowton
committed
8aa38e7
Fix broken test descriptions
smowton
committed
ccb2cf3
Fix broken static_init_order test descriptions
smowton
committed
6c79494
Enable show-properties with symex-driven lazy loading
smowton
committed
953e2df