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

Fix bug found by proof mode!

Browse Source
This commit is contained in:
Denis Merigoux 2023-01-20 16:04:33 -05:00
parent 21d4360120
commit a13bbf03d3
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
examples/aides_logement/code_sécurité_sociale.catala_fr
View File

@ -326,7 +326,7 @@ janvier 2019 et à 10 838,40 euros par an à compter du 1er janvier 2020 ;
champ d'application ÉligibilitéAidesPersonnelleLogement:
définition plafond_individuel_l815_9_sécu sous condition
date_courante >= |2018-01-04| et
date_courante >= |2018-04-01| et
date_courante < |2019-01-01|
conséquence égal à 9 998,40€
@ -336,7 +336,7 @@ champ d'application ÉligibilitéAidesPersonnelleLogement:
conséquence égal à 10 418,40€
définition plafond_individuel_l815_9_sécu sous condition
date_courante >= |2020-01-04| et
date_courante >= |2020-01-01| et
date_courante < |2021-01-01|
conséquence égal à 10 838,40€
```

3
examples/aides_logement/prologue.catala_fr
View File

@ -351,6 +351,9 @@ champ d'application ÉligibilitéAidesPersonnelleLogement:
-- GardeAlternéeCoefficientPriseEnCharge: vrai
-- PasDeGardeAlternée: faux
)))
# Ce programme ne peut pas être utilisé avec des dates trop anciennes,
# pour lesquelles les textes en vigueur n'ont pas été formalisés.
assertion date_courante >= |2018-04-01|
```
### Éligibilité à l'aide personnalisée au logement