Lurette now accepts oracle that have more than one output. Only the
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.
Showing with 797 additions and 28 deletions
This diff is collapsed.