Skip to content

Release for SVCOMP 2022

Latest
Latest

Choose a tag to compare

View all tags
@SpencerL-Y SpencerL-Y released this 04 Oct 08:27
· 179 commits to master since this release
1.0.4
a72e26a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Add new features:

  1. Add memcleanup detection within the memleak category.
Assets 3
Loading