SV-COMP witness to test translation based on tooling originally built for FShell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.

FShell witness2test

The tool witness2test converts a witness to a test case. More specifically, it takes a violation witness in GraphML format as input and synthesizes a test harness that drives the program to the specification violation. witness2test makes it possible to perform an execution-based witness validation.


Apache 2.0