From a15fb872ef45ed2e69bf3712824da5e3228436f3 Mon Sep 17 00:00:00 2001 From: Aymeric Fromherz Date: Thu, 13 Jan 2022 20:11:42 +0100 Subject: [PATCH] Fix money tests [skip ci] --- tests/test_proof/bad/money-empty.catala_en | 2 +- tests/test_proof/bad/money-overlap.catala_en | 2 +- tests/test_proof/good/money.catala_en | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/test_proof/bad/money-empty.catala_en b/tests/test_proof/bad/money-empty.catala_en index 317d1c24..f6677975 100644 --- a/tests/test_proof/bad/money-empty.catala_en +++ b/tests/test_proof/bad/money-empty.catala_en @@ -11,5 +11,5 @@ scope A: definition x equals $20,000 definition y under condition x >=$ $1,000 and x <$ $10,000 consequence equals false definition y under condition x >=$ $10,000 and x <$ $100,000 consequence equals true - definition y under condition x >$ $100,000 consequence equals false + definition y under condition x >=$ $100,000 consequence equals false ``` diff --git a/tests/test_proof/bad/money-overlap.catala_en b/tests/test_proof/bad/money-overlap.catala_en index f341a924..b8bc1912 100644 --- a/tests/test_proof/bad/money-overlap.catala_en +++ b/tests/test_proof/bad/money-overlap.catala_en @@ -12,5 +12,5 @@ scope A: definition y under condition x <=$ $1,000 consequence equals true definition y under condition x >=$ $1,000 and x <$ $10,000 consequence equals false definition y under condition x >=$ $10,000 and x <$ $100,000 consequence equals true - definition y under condition x >$ $100,000 consequence equals false + definition y under condition x >=$ $100,000 consequence equals false ``` diff --git a/tests/test_proof/good/money.catala_en b/tests/test_proof/good/money.catala_en index 05efb2f0..cf279dd6 100644 --- a/tests/test_proof/good/money.catala_en +++ b/tests/test_proof/good/money.catala_en @@ -10,5 +10,5 @@ scope A: definition y under condition x <$ $1,000 consequence equals true definition y under condition x >=$ $1,000 and x <$ $10,000 consequence equals false definition y under condition x >=$ $10,000 and x <$ $100,000 consequence equals true - definition y under condition x >$ $100,000 consequence equals false + definition y under condition x >=$ $100,000 consequence equals false ```