v1.0.167

Pre-release

Pre-release

ladisgin released this 20 May 13:42

· 184 commits to main since this release

ac3e9d5

Update run scripts
Update plugin
Add interactive mode to KLEE
Update makefiles for tests
Fix coverage generation
Fixed cases when tests do not compile
Fix server logs

Assets 3