Correct fix

This commit is contained in:
Denis Merigoux 2023-12-11 10:43:38 +01:00
parent a809410338
commit e2aeb49a9b
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
6 changed files with 32 additions and 18 deletions

View File

@ -62,9 +62,9 @@ sociale et bénéficiaires des articles L. 161-19 , L. 351-8 ou L. 643-3 du mêm
code ;
```catala
champ d'application ÉligibilitéAidesPersonnelleLogement sous condition
date_courante >= |2019-09-01| et date_courante < |2023-09-01|:
champ d'application ÉligibilitéAidesPersonnelleLogement :
règle condition_2_r823_4 de personne_à_charge sous condition
date_courante >= |2019-09-01| et date_courante < |2023-09-01| et
selon personne_à_charge sous forme
-- EnfantÀCharge de enfant: faux
-- AutrePersonneÀCharge de parent:
@ -92,9 +92,16 @@ champ d'application ÉligibilitéAidesPersonnelleLogement sous condition
conséquence rempli
étiquette r823_4_2
définition prise_en_compte_personne_à_charge de personne_à_charge
égal à
condition_2_r823_4 de personne_à_charge
règle prise_en_compte_personne_à_charge de personne_à_charge
sous condition
# On utilise le si ... alors ... sinon pour éviter que l'appel de
# la fonction "condition_2_r823_4" soit loggué deux fois lors
# de l'évaluation des différentes justifications de l'arbre de défauts
# avec les différentes dates.
si date_courante >= |2019-09-01| et date_courante < |2023-09-01| alors
condition_2_r823_4 de personne_à_charge
sinon faux
conséquence rempli
```
3° Les ascendants, descendants ou collatéraux au deuxième ou au troisième degré

View File

@ -1173,9 +1173,9 @@ sociale et bénéficiaires des articles L. 161-19 , L. 351-8 ou L. 643-3 du mêm
code ;
```catala
champ d'application ÉligibilitéAidesPersonnelleLogement sous condition
date_courante >= |2023-09-01|:
champ d'application ÉligibilitéAidesPersonnelleLogement :
règle condition_2_r823_4 de personne_à_charge sous condition
date_courante >= |2023-09-01| et
selon personne_à_charge sous forme
-- EnfantÀCharge de enfant: faux
-- AutrePersonneÀCharge de parent:
@ -1203,9 +1203,16 @@ champ d'application ÉligibilitéAidesPersonnelleLogement sous condition
conséquence rempli
étiquette r823_4_2
définition prise_en_compte_personne_à_charge de personne_à_charge
égal à
condition_2_r823_4 de personne_à_charge
règle prise_en_compte_personne_à_charge de personne_à_charge
sous condition
# On utilise le si ... alors ... sinon pour éviter que l'appel de
# la fonction "condition_2_r823_4" soit loggué deux fois lors
# de l'évaluation des différentes justifications de l'arbre de défauts
# avec les différentes dates.
si date_courante >= |2023-09-01| alors
condition_2_r823_4 de personne_à_charge
sinon faux
conséquence rempli
```
3° Les ascendants, descendants ou collatéraux au deuxième ou au troisième degré

View File

@ -82,13 +82,13 @@ Invariant Dcalc__Invariants.invariant_match_inversion
checked. result: [771/771]
[RESULT]
Invariant Dcalc__Invariants.invariant_app_inversion
checked. result: [4573/4573]
checked. result: [4571/4571]
[RESULT]
Invariant Dcalc__Invariants.invariant_no_return_a_function
checked. result: [3046/3046]
[RESULT]
Invariant Dcalc__Invariants.invariant_no_partial_evaluation
checked. result: [4573/4573]
checked. result: [4571/4571]
[RESULT]
Invariant Dcalc__Invariants.invariant_default_no_arrow
checked. result: [1396/1396]

View File

@ -135,13 +135,13 @@ Invariant Dcalc__Invariants.invariant_match_inversion
checked. result: [771/771]
[RESULT]
Invariant Dcalc__Invariants.invariant_app_inversion
checked. result: [4576/4576]
checked. result: [4574/4574]
[RESULT]
Invariant Dcalc__Invariants.invariant_no_return_a_function
checked. result: [3046/3046]
[RESULT]
Invariant Dcalc__Invariants.invariant_no_partial_evaluation
checked. result: [4576/4576]
checked. result: [4574/4574]
[RESULT]
Invariant Dcalc__Invariants.invariant_default_no_arrow
checked. result: [1460/1460]

View File

@ -41,13 +41,13 @@ Invariant Dcalc__Invariants.invariant_match_inversion
checked. result: [771/771]
[RESULT]
Invariant Dcalc__Invariants.invariant_app_inversion
checked. result: [4565/4565]
checked. result: [4563/4563]
[RESULT]
Invariant Dcalc__Invariants.invariant_no_return_a_function
checked. result: [3046/3046]
[RESULT]
Invariant Dcalc__Invariants.invariant_no_partial_evaluation
checked. result: [4565/4565]
checked. result: [4563/4563]
[RESULT]
Invariant Dcalc__Invariants.invariant_default_no_arrow
checked. result: [1356/1356]

View File

@ -13,13 +13,13 @@ Invariant Dcalc__Invariants.invariant_match_inversion
checked. result: [771/771]
[RESULT]
Invariant Dcalc__Invariants.invariant_app_inversion
checked. result: [4559/4559]
checked. result: [4557/4557]
[RESULT]
Invariant Dcalc__Invariants.invariant_no_return_a_function
checked. result: [3046/3046]
[RESULT]
Invariant Dcalc__Invariants.invariant_no_partial_evaluation
checked. result: [4559/4559]
checked. result: [4557/4557]
[RESULT]
Invariant Dcalc__Invariants.invariant_default_no_arrow
checked. result: [1332/1332]