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

Restore CI

Browse Source
This commit is contained in:
Denis Merigoux 2023-04-07 17:10:02 +02:00
parent 39f1704d76
commit c5ba3e72fe
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
4 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
compiler/catala_web_interpreter.ml
View File

@ -27,6 +27,7 @@ let _ =
disable_counterexamples = false;
optimize = false;
ex_scope = Some (Js.to_string scope);
ex_variable = None;
output_file = None;
print_only_law = false;
}

3
examples/allocations_familiales/prologue.catala_fr
View File

@ -85,7 +85,8 @@ déclaration champ d'application AllocationsFamiliales:
interne enfants_à_charge_droit_ouvert_prestation_familiale
contenu collection Enfant
interne prise_en_compte contenu PriseEnCompte dépend de enfant contenu Enfant
résultat versement contenu VersementAllocations dépend de enfant contenu Enfant
résultat versement contenu VersementAllocations
dépend de enfant contenu Enfant
résultat montant_versé contenu argent

2
french_law/python/main.py
View File

@ -143,7 +143,7 @@ if __name__ == '__main__':
print(timeit.timeit(benchmark_iteration_family, number=iterations))
elif action == "bench_housing":
iterations = 1000
print("Iterating {} iterations of the family benefits computation. Total time (s):".format(
print("Iterating {} iterations of the housing benefits computation. Total time (s):".format(
iterations))
print(timeit.timeit(benchmark_iteration_housing, number=iterations))
elif action == "show_log":

6
tests/test_exception/good/groups_of_exceptions.catala_en
View File

@ -48,7 +48,7 @@ let scope Foo (y: integer|input) (x: integer|internal|output) =
```catala-test-inline
$ catala Exceptions -s Foo -v x
[RESULT] Printing the tree of exceptions for the definitions of variable "x" of scope "Foo".
[RESULT] Group of definitions with label "base":
[RESULT] Definitions with label "base":
┌─⯈ tests/test_exception/good/groups_of_exceptions.catala_en:9.2-25:
└─┐
9 │ label base definition x under condition
@ -59,7 +59,7 @@ $ catala Exceptions -s Foo -v x
13 │ label base definition x under condition
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
└─ Test
[RESULT] Group of definitions with label "intermediate":
[RESULT] Definitions with label "intermediate":
┌─⯈ tests/test_exception/good/groups_of_exceptions.catala_en:17.2-48:
└──┐
17 │ label intermediate exception base definition x under condition
@ -70,7 +70,7 @@ $ catala Exceptions -s Foo -v x
21 │ label intermediate exception base definition x under condition
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
└─ Test
[RESULT] Group of definitions with label "exception_to_intermediate":
[RESULT] Definitions with label "exception_to_intermediate":
┌─⯈ tests/test_exception/good/groups_of_exceptions.catala_en:25.2-37:
└──┐
25 │ exception intermediate definition x under condition