From e7b9040293faf2b5ce03936401bc822007c5429f Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Sat, 25 Apr 2015 21:52:59 +0200
Subject: [PATCH] Don't get off the box
---
doc/repair.rst | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/repair.rst b/doc/repair.rst
index 25b9ab942..0081395f3 100644
--- a/doc/repair.rst
+++ b/doc/repair.rst
@@ -46,8 +46,8 @@ Invoking ``leon --repair --functions=moddiv`` will yield: ::
[ Info ] =============================== 3. Synthesizing ===============================
[ Info ] ⟦ a;b, ↓ moddiv(a, b) && ⊙ {(1, 0)} && a >= 0 && b > 0 && b > a ≺ ⟨ val res = x27;
[ Info ] b * res._2 + res._1 == a ⟩ x27 ⟧
- [ Info ] [CEGLESS ] ⟦ a;b, ↓ moddiv(a, b) && ⊙ {(1, 0)} && a >= 0 && b > 0 && b > a ≺ ⟨ val res = x27;
- [ Info ] b * res._2 + res._1 == a ⟩ x27 ⟧
+ [ Info ] [CEGLESS ] ⟦ a;b, ↓ moddiv(a, b) && ⊙ {(1, 0)} && a >= 0 && b > 0 && b > a ≺
+ [ Info ] ⟨ val res = x27; b * res._2 + res._1 == a ⟩ x27 ⟧
[ Info ] [CEGLESS ] Solved with: ⟨ true | (a, 0) ⟩...
[ Info ] Finished in 1995ms
[ Info ] Found trusted solution!
--
GitLab