-
Erwan Jahier authored
first one should be a boolean, and is the one taken into account in order to decide if the test fails or not. All the outputs of the oracle are printed in the rif file after the #ORACLE_OUTPUT pragma. That can be very convenient to track why the oracle failed.
545e775f