dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch
dolmen tests flow
16 files
dune
flags.dune
ignored_statement_1.expected
ignored_statement_1.smt2
missing_check_sat.expected
missing_check_sat.smt2
missing_exit.expected
missing_exit.smt2
missing_set_logic.expected
missing_set_logic.smt2
pop_without_push.expected
pop_without_push.smt2
stmt_after_exit.expected
stmt_after_exit.smt2
unclosed_push.expected
unclosed_push.smt2