Version 7.1
·
674 commits
to svcomp2018
since this release
- We added witness true
- We improved nondet functions
- We added files to svcomp'18
- Fixed a couple of bugs
- General improvements to track memory address