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

Really fix tests and programs

Browse Source
This commit is contained in:
Denis Merigoux 2022-08-30 14:46:51 +02:00
parent 84e5e6445e
commit 6c46574a83
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
40 changed files with 100 additions and 500 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
examples/NSW_community_gaming/nsw_art_union.catala_en
View File

@ -19,13 +19,13 @@ declaration structure ArtUnion:
data holdsAuthority content boolean data holdsAuthority content boolean
declaration scope GamingAuthorized: declaration scope GamingAuthorized:
context artUnion content ArtUnion input artUnion content ArtUnion
context authorized condition internal minimumProceeds content boolean
context minimumProceeds content boolean internal benefitingOrg content boolean
context benefitingOrg content boolean internal valueOfPrizes content boolean
context valueOfPrizes content boolean internal separatePrizeMaxValue content boolean
context separatePrizeMaxValue content boolean internal authority content boolean
context authority content boolean output authorized condition
``` ```
Art union gaming activities Art union gaming activities

14
examples/NSW_community_gaming/nsw_charity_housie.catala_en
View File

@ -14,14 +14,14 @@ declaration structure CharityHousie :
data proceedsToBenefitingOrganisation content money data proceedsToBenefitingOrganisation content money
declaration scope GamingAuthorized: declaration scope GamingAuthorized:
context charityHousie content CharityHousie input charityHousie content CharityHousie
context authorized condition output authorized condition
#context benefitingOrg content Charitable #context benefitingOrg content Charitable
context benefitingOrg content boolean internal benefitingOrg content boolean
context minimumProceeds content boolean internal minimumProceeds content boolean
context expenses content boolean internal expenses content boolean
context prizesTotal content boolean internal prizesTotal content boolean
context maxTickets content boolean internal maxTickets content boolean
``` ```
(a) the gaming activity is conducted by or on behalf of a charitable organisation, (a) the gaming activity is conducted by or on behalf of a charitable organisation,

12
examples/NSW_community_gaming/nsw_club_bingo.catala_en
View File

@ -9,12 +9,12 @@ declaration structure ClubBingo:
data prizeContent content boolean data prizeContent content boolean
declaration scope GamingAuthorized: declaration scope GamingAuthorized:
context clubBingo content ClubBingo input clubBingo content ClubBingo
context authorized condition output authorized condition
context conductor content boolean internal conductor content boolean
context prizeValueIsSmall content boolean internal prizeValueIsSmall content boolean
context bonusPrize content boolean internal bonusPrize content boolean
context contentPrize content boolean internal contentPrize content boolean
``` ```
(4) Club bingo Club bingo is a permitted gaming activity for the purposes of section 10 of the Act if the following requirements are complied with— (4) Club bingo Club bingo is a permitted gaming activity for the purposes of section 10 of the Act if the following requirements are complied with—

10
examples/NSW_community_gaming/nsw_draw_lottery.catala_en
View File

@ -15,11 +15,11 @@ declaration structure DrawLottery:
data proceedsToBenefitingOrg content money data proceedsToBenefitingOrg content money
declaration scope GamingAuthorized: declaration scope GamingAuthorized:
context drawLottery content DrawLottery input drawLottery content DrawLottery
context authorized condition output authorized condition
context benefitingOrg content boolean internal benefitingOrg content boolean
context minimumProceeds content boolean internal minimumProceeds content boolean
context maxValueOfPrizes content boolean internal maxValueOfPrizes content boolean
``` ```

12
examples/NSW_community_gaming/nsw_no_draw_lottery.catala_en
View File

@ -16,12 +16,12 @@ declaration structure NoDrawLottery:
data maxTickets content integer data maxTickets content integer
declaration scope GamingAuthorized: declaration scope GamingAuthorized:
context noDrawLottery content NoDrawLottery input noDrawLottery content NoDrawLottery
context authorized condition output authorized condition
context benefitingOrg content boolean internal benefitingOrg content boolean
context minimumProceeds content boolean internal minimumProceeds content boolean
context maxValueOfPrizes content boolean internal maxValueOfPrizes content boolean
context maxTicketsProduced content boolean internal maxTicketsProduced content boolean
``` ```
A no-draw lottery is a permitted gaming activity for the purposes of section 10 of the A no-draw lottery is a permitted gaming activity for the purposes of section 10 of the

8
examples/NSW_community_gaming/nsw_progressive_lottery.catala_en
View File

@ -9,12 +9,12 @@ declaration structure ProgressiveLottery:
data holdsAuthority content boolean data holdsAuthority content boolean
declaration scope GamingAuthorized: declaration scope GamingAuthorized:
context progressiveLottery content ProgressiveLottery input progressiveLottery content ProgressiveLottery
context authorized condition output authorized condition
context maxCashPrize content boolean internal maxCashPrize content boolean
#context maxValueOfPrizes content boolean #context maxValueOfPrizes content boolean
#context authority content boolean #context authority content boolean
context amountOfPrizesGreaterThan30000 content boolean internal amountOfPrizesGreaterThan30000 content boolean
``` ```
A progressive lottery is a permitted gaming activity for the purposes of section 10 of A progressive lottery is a permitted gaming activity for the purposes of section 10 of

16
examples/NSW_community_gaming/nsw_social_housie.catala_en
View File

@ -17,13 +17,13 @@ declaration structure SocialHousie:
data investmentReturn content boolean data investmentReturn content boolean
declaration scope GamingAuthorized: declaration scope GamingAuthorized:
context socialHousie content SocialHousie input socialHousie content SocialHousie
context authorized condition output authorized condition
context purpose content boolean internal purpose content boolean
context licence content boolean internal licence content boolean
context prizePrice content boolean internal prizePrice content boolean
context maxJackpotValue content boolean internal maxJackpotValue content boolean
context returnInvestment content boolean internal returnInvestment content boolean
``` ```
### 5 Housie or bingo ### 5 Housie or bingo
@ -70,4 +70,4 @@ scope GamingAuthorized :
rule authorized under condition rule authorized under condition
purpose and licence and prizePrice and maxJackpotValue and returnInvestment purpose and licence and prizePrice and maxJackpotValue and returnInvestment
consequence fulfilled consequence fulfilled
``` ```

18
examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test1.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test2.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test3.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test4.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test1.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en
|
12 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en
|
12 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test2.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en
|
12 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en
|
12 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test3.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en
|
12 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en
|
12 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test4.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en
|
12 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en
|
12 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test1.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en
|
11 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en
|
11 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test2.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en
|
11 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en
|
11 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test3.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en
|
11 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en
|
11 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

1
examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test4.Interpret Normal file
View File

@ -0,0 +1 @@
[RESULT] Computation successful!

18
examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test5.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en
|
11 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en
|
11 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

17
examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test6.Interpret
View File

@ -1,17 +0,0 @@
[ERROR] Syntax error at token "scope"
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en
|
11 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en
|
11 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test1.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test2.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test3.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test4.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test1.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test2.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test3.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test4.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test1.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test2.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test3.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

18
examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test4.Interpret
View File

@ -1,17 +1 @@
[ERROR] Syntax error at token "scope" [RESULT] Computation successful!
Message: unexpected token
Autosuggestion: did you mean "content", or maybe "condition"?
Error token:
--> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^
+
Last good token:
--> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en
|
10 | context my_gaming scope GamingAuthorized
| ^^^^^^^^^
+

8
examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en
View File

@ -7,7 +7,7 @@
## Test1 ## Test1
```catala ```catala
declaration scope Test1: declaration scope Test1:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test1: scope Test1:
definition definition
@ -31,7 +31,7 @@ catala Interpret -s Test1
## Test2 ## Test2
```catala ```catala
declaration scope Test2: declaration scope Test2:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test2: scope Test2:
definition definition
@ -56,7 +56,7 @@ catala Interpret -s Test2
## Test3 ## Test3
```catala ```catala
declaration scope Test3: declaration scope Test3:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test3: scope Test3:
definition definition
@ -81,7 +81,7 @@ catala Interpret -s Test3
## Test4 ## Test4
```catala ```catala
declaration scope Test4: declaration scope Test4:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test4: scope Test4:
definition definition

8
examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en
View File

@ -9,7 +9,7 @@
```catala ```catala
declaration scope Test1: declaration scope Test1:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test1: scope Test1:
definition definition
@ -35,7 +35,7 @@ catala Interpret -s Test1
```catala ```catala
declaration scope Test2: declaration scope Test2:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test2: scope Test2:
definition definition
@ -60,7 +60,7 @@ catala Interpret -s Test2
```catala ```catala
declaration scope Test3: declaration scope Test3:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test3: scope Test3:
definition definition
@ -85,7 +85,7 @@ catala Interpret -s Test3
```catala ```catala
declaration scope Test4: declaration scope Test4:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test4: scope Test4:
definition definition

18
examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en
View File

@ -8,7 +8,7 @@
```catala ```catala
declaration scope Test1: declaration scope Test1:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test1: scope Test1:
definition definition
@ -33,7 +33,7 @@ catala Interpret -s Test1
```catala ```catala
declaration scope Test2: declaration scope Test2:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test2: scope Test2:
definition definition
@ -58,7 +58,7 @@ catala Interpret -s Test2
```catala ```catala
declaration scope Test3: declaration scope Test3:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test3: scope Test3:
definition definition
@ -82,7 +82,7 @@ catala Interpret -s Test3
```catala ```catala
declaration scope Test4: declaration scope Test4:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test4: scope Test4:
definition definition
@ -99,15 +99,15 @@ scope Test4:
``` ```
```catala-test {id="Test5.Interpret"} ```catala-test {id="Test4.Interpret"}
catala Interpret -s Test5 catala Interpret -s Test4
``` ```
## Test5 ## Test5
```catala ```catala
declaration scope Test5: declaration scope Test5:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test5: scope Test5:
definition definition
@ -124,6 +124,6 @@ scope Test5:
``` ```
```catala-test {id="Test6.Interpret"} ```catala-test {id="Test5.Interpret"}
catala Interpret -s Test6 catala Interpret -s Test5
``` ```

8
examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en
View File

@ -7,7 +7,7 @@
## Test1 ## Test1
```catala ```catala
declaration scope Test1: declaration scope Test1:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test1: scope Test1:
definition definition
@ -30,7 +30,7 @@ catala Interpret -s Test1
## Test2 ## Test2
```catala ```catala
declaration scope Test2: declaration scope Test2:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test2: scope Test2:
definition definition
@ -52,7 +52,7 @@ catala Interpret -s Test2
## Test3 ## Test3
```catala ```catala
declaration scope Test3: declaration scope Test3:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test3: scope Test3:
definition definition
@ -74,7 +74,7 @@ catala Interpret -s Test3
## Test4 ## Test4
```catala ```catala
declaration scope Test4: declaration scope Test4:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test4: scope Test4:
definition definition

8
examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en
View File

@ -7,7 +7,7 @@
## Test1 ## Test1
```catala ```catala
declaration scope Test1: declaration scope Test1:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test1: scope Test1:
definition definition
@ -31,7 +31,7 @@ catala Interpret -s Test1
## Test2 ## Test2
```catala ```catala
declaration scope Test2: declaration scope Test2:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test2: scope Test2:
definition definition
@ -54,7 +54,7 @@ catala Interpret -s Test2
## Test3 ## Test3
```catala ```catala
declaration scope Test3: declaration scope Test3:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test3: scope Test3:
definition definition
@ -77,7 +77,7 @@ catala Interpret -s Test3
## Test4 ## Test4
```catala ```catala
declaration scope Test4: declaration scope Test4:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test4: scope Test4:
definition definition

8
examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en
View File

@ -7,7 +7,7 @@
## Test1 ## Test1
```catala ```catala
declaration scope Test1: declaration scope Test1:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test1: scope Test1:
definition definition
@ -29,7 +29,7 @@ catala Interpret -s Test1
## Test2 ## Test2
```catala ```catala
declaration scope Test2: declaration scope Test2:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test2: scope Test2:
definition definition
@ -51,7 +51,7 @@ catala Interpret -s Test2
## Test3 ## Test3
```catala ```catala
declaration scope Test3: declaration scope Test3:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test3: scope Test3:
definition definition
@ -72,7 +72,7 @@ catala Interpret -s Test3
## Test4 ## Test4
```catala ```catala
declaration scope Test4: declaration scope Test4:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test4: scope Test4:
definition definition

6
examples/NSW_community_gaming/tests/test_nsw_social_housie.catala_en
View File

@ -35,7 +35,7 @@ catala Interpret -s Test1
```catala ```catala
declaration scope Test2: declaration scope Test2:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test2: scope Test2:
definition definition
@ -61,7 +61,7 @@ catala Interpret -s Test2
```catala ```catala
declaration scope Test3: declaration scope Test3:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test3: scope Test3:
definition definition
@ -88,7 +88,7 @@ catala Interpret -s Test3
```catala ```catala
declaration scope Test4: declaration scope Test4:
context my_gaming scope GamingAuthorized my_gaming scope GamingAuthorized
scope Test4: scope Test4:
definition definition