test.ml « mono « test - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/test/mono/test.ml

blob: 6476f8f48b5e2baa67f1fd39f500b62b17dbfbc1 (plain)

match Out.run() with
| Done _ -> exit 0
| Fail s -> prerr_endline ("Fail: " ^ s); exit 1
| _ -> prerr_endline "Unexpected outcome"; exit 1