Skip to content
Snippets Groups Projects
Commit ba7a7755 authored by François Bobot's avatar François Bobot
Browse files

Fix steps API

parent 5c148518
No related branches found
No related tags found
No related merge requests found
Pipeline #28907 passed
......@@ -114,9 +114,10 @@ let () =
(if !interpreter
then [| |]
else [| "-e"; Printf.sprintf
"seed(0),%s,smt_solve%s(%s)"
"seed(0),%s,setval(step_limit,%i),smt_solve%s(%s)"
!conf
(if !get_steps then "_stats" else "")
!max_steps
(if !get_steps then "_get_stat" else "")
(quote_for_prolog !goal)
|])
]
......
2020.6
2020.9
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment