Mentions légales du service

Skip to content

Fix check ce bench

Claudio Belo Lourenco requested to merge fix-check-ce-bench into master

Two small independent fixes:

  1. check-ce-bench was failing with no information when oracle did not exist
  2. fix debug messages when Pinterp goes to model to get values

Merge request reports