translator for s2s - Githubissues

sl-comp / SL-COMP18

Resources for the SL-COMP 2018 edition

3 stars 2 forks source link

Closed lequangloc closed 6 years ago

lequangloc commented 6 years ago

Please help to merge the translator for s2s.

This translator requires smt2s2 in tools/slcomp18tools

cmd to translate sl18 --> s2s

./do-tosolver.sh s2s file.smt2

Many thanks, Loc