simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 11:45:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Removed useless check option in test_api

Browse source
This commit is contained in:
Guillaume Bury 2016-11-22 16:58:02 +01:00
parent 9a6d07e097
commit 73ea4fea30
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
tests/test_api.ml
View file

@ -11,7 +11,6 @@ module T = Tseitin.Make(F)
let (|>) x f = f x
let p_check = ref false
let time_limit = ref 300.
let size_limit = ref 1000_000_000.
@ -28,8 +27,6 @@ let set_flag opt arg flag l =
let usage = "Usage : test_api [options]"
let argspec = Arg.align [
"-check", Arg.Set p_check,
" Build, check and print the proof (if output is set), if unsat";
"-v", Arg.Int (fun i -> Log.set_debug i),
"<lvl> Sets the debug verbose level";
]