Project

General

Profile

« Previous | Next » 

Revision 8c810657

ID8c810657c7c0f7a3a48602ca736ecbadbcae874b
Parent ad0b75b1
Child 8d9a2669

Added by Hans-Peter Deifel 9 months ago

tests: Throw error if child doesn't return 0 or 1

0 and 1 are used for Sat and Unsat respectively. But if the child
throws an exception, another exit status is returned which the parent
now recognizes.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences