mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-20 08:47:14 +03:00
c94509e0bb
it's unlikely to be used in any law, and likely to be cause for confusion. best of all, the new operator has a different return type, which ensures no inconsistency with the change can get overlooked.
27 lines
669 B
Plaintext
27 lines
669 B
Plaintext
## Test
|
|
|
|
|
|
```catala
|
|
declaration scope A:
|
|
context x content integer
|
|
context y content integer
|
|
|
|
scope A:
|
|
definition x under condition (6*7 = 42) and (false or (true and 1458 / 27 = 54.))
|
|
consequence equals 1
|
|
|
|
definition y under condition x <= 0 consequence equals -1
|
|
definition y under condition x >= 2 consequence equals 1
|
|
|
|
```
|
|
```catala-test-inline
|
|
$ catala Proof --disable_counterexamples
|
|
[ERROR] [A.y] This variable might return an empty error:
|
|
┌─⯈ tests/test_proof/bad/no_vars-empty.catala_en:7.10-11:
|
|
└─┐
|
|
7 │ context y content integer
|
|
│ ‾
|
|
└─ Test
|
|
Counterexample generation is disabled so none was generated.
|
|
```
|