Skip to content

Resolve BOMB_ENDING conflicts with KLEE replay tool's return code

Pre-release
Pre-release
Compare
Choose a tag to compare
@zzrcxb zzrcxb released this 10 Jun 11:39
· 14 commits to stable since this release
v.1.2.1
360a29f
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode. 
Merge pull request #12 from hxuhack/dev-master

When KLEE replay tool encounters an error, its return value conflicts with BOMB_ENDING
Assets 2
Loading