[TG-1404] Specific implementation of cover basic block for Java #4

Closed

romainbrenguier wants to merge 52 commits intorefactor/coverage-instrumentationfrom feature/cover-basic-block-java#TG-1404

+2,524-1,305

Commits on Feb 13, 2018

[path explore 1/8] Tidy up symext top-level funs
karkhaz
committed
Merge pull request diffblue#1819 from romainbrenguier/refactor/coverage-instrumentation
romainbrenguier
authored
Reimplement remove-static-init-loops to avoid need to inspect GOTO program
smowton
committed
Remove __CPROVER_initialize recreation
smowton
committed
Merge pull request diffblue#1827 from karkhaz/kk-symex-operator-tidy
tautschnig
authored
clean up symex_assign vs. symex_assign_rec
Daniel Kroening
committed
cleanup of some noise (mostly obvious declarators) in the goto_symext class
Daniel Kroening
committed
preconditions for delete and delete[]
Daniel Kroening
committed

Commits on Feb 14, 2018

Commits on Feb 15, 2018