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

Passing all tests!

Browse Source
This commit is contained in:
Denis Merigoux 2020-11-27 17:21:37 +01:00
parent 0443221e8b
commit ae1c2c6e02
5 changed files with 28 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/build.yml vendored
View File

@ -54,6 +54,10 @@ jobs:
run: |
eval $(opam env)
make build
- name: Run tests
run: |
eval $(opam env)
make tests
- name: Make examples
run: |

3
tests/Makefile
View File

@ -24,7 +24,8 @@ interpret_with_scope_and_compare =\
test_bool/test_bool.catala:
$(call interpret_with_scope_and_compare,nv,TestBool)
test_func/func.catala:
$(call interpret_with_scope,nv,S)
$(call interpret_with_scope_and_compare,nv,S)
$(call interpret_with_scope_and_compare,nv,R)
test_scope/scope.catala:
$(call interpret_with_scope_and_compare,nv,A)
test_scope/sub_scope.catala:

8
tests/test_func/func.catala
View File

@ -6,6 +6,10 @@ new scope S:
param x type int
param b type bool
new scope R:
param s scope S
param r type int
scope S:
def f of x1 [ (x1 >= x1) ] := x1 + x1
def f of x2 [ not b ] := x2 * x2
@ -13,4 +17,8 @@ scope S:
def b := false
def x := f of 3
scope R:
def s.f of x := x + x * x
def r := s.f of 5
*/

1
tests/test_func/func.catala.R.out Normal file
View File

@ -0,0 +1 @@
[RESULT] r -> 30

13
tests/test_func/func.catala.S.out Normal file
View File

@ -0,0 +1,13 @@
[ERROR] There is a conflict between multiple rules for assigning the same variable.
[ERROR]
[ERROR] This value is available because the justification of its definition is true:
[ERROR] --> test_func/func.catala
[ERROR] |
[ERROR] 14 | def f of x1 [ (x1 >= x1) ] := x1 + x1
[ERROR] | ^
[ERROR]
[ERROR] This value is available because the justification of its definition is true:
[ERROR] --> test_func/func.catala
[ERROR] |
[ERROR] 15 | def f of x2 [ not b ] := x2 * x2
[ERROR] | ^