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

Reset tests

Browse Source
This commit is contained in:
Aymeric Fromherz 2022-11-08 22:28:02 +01:00
parent 63572b6963
commit e37ad1de44
2 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tests/test_proof/bad/assert-empty.catala_en
View File

@ -24,5 +24,12 @@ scope Foo:
```catala-test-inline
$ catala Proof --disable_counterexamples
[RESULT] TODO
[ERROR] [Foo.x] This variable might return an empty error:
┌─⯈ tests/test_proof/bad/assert-empty.catala_en:4.10-11
└─┐
│
4 │ output x content integer
│ ‾
Counterexample generation is disabled so none was generated.
```

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

@ -23,6 +23,6 @@ scope Foo:
```
```catala-test-inline
$ catala Proof
[RESULT] TODO
$ catala Proof --disable_counterexamples
[RESULT] No errors found during the proof mode run.
```