Fix check ce bench
Two small independent fixes:
-
check-ce-bench
was failing with no information when oracle did not exist - fix debug messages when
Pinterp
goes to model to get values
Prochaine maintenance programmée : lundi 01/07
Pour plus d'informations : https://doc-si.inria.fr/display/SU/Gitlab
Two small independent fixes:
check-ce-bench
was failing with no information when oracle did not existPinterp
goes to model to get values