GitHub repository: tautschnig/fshell-w2t
Primary language: Perl
Created: 2017-11-08T09:08:44Z
Description: SV-COMP witness to test translation based on tooling originally built for FShell