tomhea/flip-jump

Better tests options: Timeout, good-EOF

tomhea opened this issue · 0 comments

tomhea commented

Add the next options in both assemble_and_run_test_output() and run_test_output():

  • Timeout - the test will finish at the requested moment, with the new TerminationCause.Timeout.
  • Allow getting test success (i.e. no asserts) on some failures - by allowing whitelisting a list of TerminationCauses that won't fail the test (in that case, a test will fail only if its current output is different from the expected output.