From d7563c229e9ebbcd967ba93dfcd00aa25cdc83c7 Mon Sep 17 00:00:00 2001 From: Aymeric Fromherz Date: Fri, 14 Jan 2022 18:34:58 +0100 Subject: [PATCH] Reset test [skip ci] --- tests/test_proof/good/output/enums.catala_en.Proof | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/tests/test_proof/good/output/enums.catala_en.Proof b/tests/test_proof/good/output/enums.catala_en.Proof index 5e25281b..2b85d1ed 100644 --- a/tests/test_proof/good/output/enums.catala_en.Proof +++ b/tests/test_proof/good/output/enums.catala_en.Proof @@ -1,6 +1,4 @@ -[ERROR] The translation to Z3 failed: -TODO -[ERROR] The translation to Z3 failed: -TODO -[RESULT] A.y: no two exceptions to ever overlap for this variable -[RESULT] A.y: this variable never returns an empty error +[RESULT] [A.x] This variable never returns an empty error +[RESULT] [A.x] No two exceptions to ever overlap for this variable +[RESULT] [A.y] This variable never returns an empty error +[RESULT] [A.y] No two exceptions to ever overlap for this variable