infosec-ecomp issueshttps://gitlab-research.centralesupelec.fr/cidre-public/compilation/infosec-ecomp/-/issues2020-09-30T12:15:01Zhttps://gitlab-research.centralesupelec.fr/cidre-public/compilation/infosec-ecomp/-/issues/1Erreur test case "arg-test.e"2020-09-30T12:15:01ZCacheux PaulErreur test case "arg-test.e"Bonjour,
dans le fichier de test "tests/basic/arg-test.e.expect_1_2_3" la valeur de retour attendue est de `20`.
Pourtant le code d'entrée est
```
main(n, m){
a = 10;
b = 20;
if (3 > n){
x = a;
} else {
x = b;
}
retur...Bonjour,
dans le fichier de test "tests/basic/arg-test.e.expect_1_2_3" la valeur de retour attendue est de `20`.
Pourtant le code d'entrée est
```
main(n, m){
a = 10;
b = 20;
if (3 > n){
x = a;
} else {
x = b;
}
return x;
}
f(x){
n = 3;
return 3 * x;
}
```
Donc avec `n = 1, m = 2`, on devrait prendre la branche "then" du if/else et donc avoir `x = a = 10` d'où une valeur de retour de 10.
Merci beaucoup d'avance