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