search

DeepseaPlatform / coastal

Concolic analysis tool for Java
https://deepseaplatform.github.io/coastal/
Apache License 2.0
21 stars 9 forks source link

Final pull request for SVComp tests #31

Closed JustinStigling closed 5 years ago

JustinStigling commented 5 years ago

Added some more Verifier functionality as well as some more tests