simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-28 12:24:50 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Ignore some smtlib statements in test executable

Browse source
This commit is contained in:
Guillaume Bury 2017-08-25 18:36:42 +02:00
parent 4989026f06
commit 2db3a5a494
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/main.ml
View file

@ -95,6 +95,9 @@ module Make
prove ~assumptions prove ~assumptions
| Dolmen.Statement.Prove -> | Dolmen.Statement.Prove ->
prove ~assumptions:[] prove ~assumptions:[]
| Dolmen.Statement.Set_info _
| Dolmen.Statement.Set_logic _ -> ()
| Dolmen.Statement.Exit -> exit 0
| _ -> | _ ->
Format.printf "Command not supported:@\n%a@." Format.printf "Command not supported:@\n%a@."
Dolmen.Statement.print s Dolmen.Statement.print s