From c7fd00702ac7a5709e6e7b2ff214165e4632f362 Mon Sep 17 00:00:00 2001 From: Aymeric Fromherz Date: Mon, 17 Jan 2022 15:04:05 +0100 Subject: [PATCH] Fix good get year test + reset [skip ci] --- tests/test_proof/good/dates_get_year.catala_en | 2 +- tests/test_proof/good/output/dates_get_year.catala_en.Proof | 6 ++---- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/tests/test_proof/good/dates_get_year.catala_en b/tests/test_proof/good/dates_get_year.catala_en index f8399468..a1055c09 100644 --- a/tests/test_proof/good/dates_get_year.catala_en +++ b/tests/test_proof/good/dates_get_year.catala_en @@ -10,5 +10,5 @@ scope A: definition y under condition get_year of x < 2010 consequence equals true definition y under condition get_year of x >= 2010 and get_year of x < 2015 consequence equals false definition y under condition get_year of x >= 2015 and get_year of x < 2020 consequence equals true - definition y under condition get_year of x > 2020 consequence equals false + definition y under condition get_year of x >= 2020 consequence equals false ``` diff --git a/tests/test_proof/good/output/dates_get_year.catala_en.Proof b/tests/test_proof/good/output/dates_get_year.catala_en.Proof index cd741cd2..ebe1a223 100644 --- a/tests/test_proof/good/output/dates_get_year.catala_en.Proof +++ b/tests/test_proof/good/output/dates_get_year.catala_en.Proof @@ -1,6 +1,4 @@ -[ERROR] The translation to Z3 failed: -TODO -[ERROR] The translation to Z3 failed: -TODO +[RESULT] [A.y] This variable never returns an empty error +[RESULT] [A.y] No two exceptions to ever overlap for this variable [RESULT] [A.x] This variable never returns an empty error [RESULT] [A.x] No two exceptions to ever overlap for this variable