From 083a4082eabb623888712aefab056519a578d28c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 9 Dec 2020 08:09:16 +0100
Subject: [PATCH] [wp] Upgrade script for AE 2.2.0
---
.../bitmask0x8000.0.session/script/lemma_res_n.json | 6 +++---
.../bitmask0x8000.0.session/script/lemma_res_y.json | 6 +++---
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_n.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_n.json
index ac78ca7305f..c1f541d00af 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_n.json
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_n.json
@@ -3,6 +3,6 @@
"target": "not (bit_test off_0 15)",
"pattern": "!bit_test$off15" },
"children": { "Bit #15 (inf)": [ { "prover": "qed", "verdict": "valid" } ],
- "Bit #15 (sup)": [ { "prover": "Alt-Ergo:2.0.0",
- "verdict": "valid", "time": 0.0203,
- "steps": 21 } ] } } ]
+ "Bit #15 (sup)": [ { "prover": "Alt-Ergo:2.2.0",
+ "verdict": "valid", "time": 0.0263,
+ "steps": 32 } ] } } ]
diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_y.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_y.json
index 33e7209ad31..95cf3e5f295 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_y.json
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_y.json
@@ -2,7 +2,7 @@
"select": { "select": "inside-step", "at": 1, "kind": "have", "occur": 0,
"target": "(bit_test off_0 15)",
"pattern": "bit_test$off15" },
- "children": { "Bit #15 (inf)": [ { "prover": "Alt-Ergo:2.0.0",
- "verdict": "valid", "time": 0.0214,
- "steps": 20 } ],
+ "children": { "Bit #15 (inf)": [ { "prover": "Alt-Ergo:2.2.0",
+ "verdict": "valid", "time": 0.0129,
+ "steps": 32 } ],
"Bit #15 (sup)": [ { "prover": "qed", "verdict": "valid" } ] } } ]
--
GitLab