GitHub / wit4java / wit4java
An execution-based violation-witness validator for Java
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wit4java%2Fwit4java
Stars: 6
Forks: 0
Open issues: 4
License: other
Language: Python
Size: 22.6 MB
Dependencies parsed at: Pending
Created at: over 3 years ago
Updated at: 5 months ago
Pushed at: 5 months ago
Last synced at: 5 months ago
Topics: java, python, sv-comp, validation
Loading...