CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Correct test invocations

Browse Source
This commit is contained in:
Aymeric Fromherz 2023-03-28 22:51:03 +09:00
parent 5f04e0efaf
commit 8780a48312
2 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tests/test_proof/bad/let_in_condition-empty.catala_en
View File

@ -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.
```

4
tests/test_proof/good/let_in_condition.catala_en
View File

@ -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.
```