From ba7a7755ab9c58043e693fcadb6f3aaf16f63ad5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Mon, 14 Sep 2020 17:24:12 +0200
Subject: [PATCH] Fix steps API
---
colibri_for_bundle.ml | 5 +++--
version | 2 +-
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/colibri_for_bundle.ml b/colibri_for_bundle.ml
index c412d0ab4..3d75c4df4 100644
--- a/colibri_for_bundle.ml
+++ b/colibri_for_bundle.ml
@@ -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)
|])
]
diff --git a/version b/version
index 6f945a7d9..da1d4a694 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-2020.6
+2020.9
--
GitLab