From cc2ec3d6130c2101e1396e1b20bd2b78964f8966 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bartosz=20Wo=C5=BAniak?= Date: Wed, 12 May 2021 19:50:47 +0200 Subject: [PATCH] change currency --- examples/polish_taxes/tests/test_a7_u1_p1.catala_pl | 8 ++++---- examples/polish_taxes/tests/test_a7_u1_p2.catala_pl | 8 ++++---- examples/polish_taxes/tests/test_a7_u1_p3.catala_pl | 4 ++-- examples/polish_taxes/tests/test_a7_u1_p4.catala_pl | 4 ++-- 4 files changed, 12 insertions(+), 12 deletions(-) diff --git a/examples/polish_taxes/tests/test_a7_u1_p1.catala_pl b/examples/polish_taxes/tests/test_a7_u1_p1.catala_pl index a5abf45e..f99ce62f 100644 --- a/examples/polish_taxes/tests/test_a7_u1_p1.catala_pl +++ b/examples/polish_taxes/tests/test_a7_u1_p1.catala_pl @@ -7,17 +7,17 @@ deklaracja zakres Test_A7_U1_P1_PPa: kontekst sprzedaz zakres UmowaSprzedazy zakres Test_A7_U1_P1_PPa: - definicja sprzedaz.kwota wynosi $100 + definicja sprzedaz.kwota wynosi 100 PLN - asercja sprzedaz.podatek = $2 + asercja sprzedaz.podatek = 2 PLN deklaracja zakres Test_A7_U1_P1_PPb: kontekst sprzedaz zakres UmowaSprzedazy zakres Test_A7_U1_P1_PPb: - definicja sprzedaz.kwota wynosi $100 + definicja sprzedaz.kwota wynosi 100 PLN definicja sprzedaz.inne_prawa_majatkowe wynosi prawda - asercja sprzedaz.podatek = $1 + asercja sprzedaz.podatek = 1 PLN ``` \ No newline at end of file diff --git a/examples/polish_taxes/tests/test_a7_u1_p2.catala_pl b/examples/polish_taxes/tests/test_a7_u1_p2.catala_pl index 4d5f6ce7..a16407f0 100644 --- a/examples/polish_taxes/tests/test_a7_u1_p2.catala_pl +++ b/examples/polish_taxes/tests/test_a7_u1_p2.catala_pl @@ -7,17 +7,17 @@ deklaracja zakres Test_A7_U1_P2_PPa: kontekst sprzedaz zakres UmowaZamianyLubDarowizny zakres Test_A7_U1_P2_PPa: - definicja sprzedaz.kwota wynosi $100 + definicja sprzedaz.kwota wynosi 100 PLN - asercja sprzedaz.podatek = $2 + asercja sprzedaz.podatek = 2 PLN deklaracja zakres Test_A7_U1_P2_PPb: kontekst sprzedaz zakres UmowaZamianyLubDarowizny zakres Test_A7_U1_P2_PPb: - definicja sprzedaz.kwota wynosi $100 + definicja sprzedaz.kwota wynosi 100 PLN definicja sprzedaz.inne_prawa_majatkowe wynosi prawda - asercja sprzedaz.podatek = $1 + asercja sprzedaz.podatek = 1 PLN ``` \ No newline at end of file diff --git a/examples/polish_taxes/tests/test_a7_u1_p3.catala_pl b/examples/polish_taxes/tests/test_a7_u1_p3.catala_pl index 6fbaa57f..3c90473b 100644 --- a/examples/polish_taxes/tests/test_a7_u1_p3.catala_pl +++ b/examples/polish_taxes/tests/test_a7_u1_p3.catala_pl @@ -7,7 +7,7 @@ deklaracja zakres Test_A7_U1_P3: kontekst sprzedaz zakres OdplatneUzytkowanie zakres Test_A7_U1_P3: - definicja sprzedaz.kwota wynosi $100 + definicja sprzedaz.kwota wynosi 100 PLN - asercja sprzedaz.podatek = $1 + asercja sprzedaz.podatek = 1 PLN ``` \ No newline at end of file diff --git a/examples/polish_taxes/tests/test_a7_u1_p4.catala_pl b/examples/polish_taxes/tests/test_a7_u1_p4.catala_pl index 6ccba019..a06efa99 100644 --- a/examples/polish_taxes/tests/test_a7_u1_p4.catala_pl +++ b/examples/polish_taxes/tests/test_a7_u1_p4.catala_pl @@ -7,7 +7,7 @@ deklaracja zakres Test_A7_U1_P4: kontekst sprzedaz zakres PozyczkaLubDepozytNieprawidlowy zakres Test_A7_U1_P4: - definicja sprzedaz.kwota wynosi $200 + definicja sprzedaz.kwota wynosi 200 PLN - asercja sprzedaz.podatek = $1 + asercja sprzedaz.podatek = 1 PLN ``` \ No newline at end of file