diff --git a/tests/test_proof/bad/let_in_condition-empty.catala_en b/tests/test_proof/bad/let_in_condition-empty.catala_en
index b97255d1..bf215066 100644
--- a/tests/test_proof/bad/let_in_condition-empty.catala_en
+++ b/tests/test_proof/bad/let_in_condition-empty.catala_en
@@ -12,13 +12,12 @@ scope A:
 ```
 
 ```catala-test-inline
-$ catala Interpret -s A
-[ERROR] This variable evaluated to an empty term (no rule that defined it applied in this situation)
-
+$ catala Proof --disable_counterexamples
+[ERROR] [A.x] This variable might return an empty error:
 ┌─⯈ tests/test_proof/bad/let_in_condition-empty.catala_en:5.10-11:
 └─┐
 5 │   context x content boolean
   │           ‾
   └─ Test
-#return code 255#
+Counterexample generation is disabled so none was generated.
 ```
diff --git a/tests/test_proof/good/let_in_condition.catala_en b/tests/test_proof/good/let_in_condition.catala_en
index b6913081..c3a702ec 100644
--- a/tests/test_proof/good/let_in_condition.catala_en
+++ b/tests/test_proof/good/let_in_condition.catala_en
@@ -12,6 +12,6 @@ scope A:
 ```
 
 ```catala-test-inline
-$ catala Interpret -s A
-[RESULT] Computation successful!
+$ catala Proof --disable_counterexamples
+[RESULT] No errors found during the proof mode run.
 ```