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
Two small independent fixes:
check-ce-bench
was failing with no information when oracle did not existPinterp
goes to model to get values