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

summary refs log tree commit diff

path: root/test/mono/test.ml

blob: 32d3b2ed20f916d7c35a2a5f9e1b7c2285790306 (plain)

1
2
3

match Out.run() with
| Done _ -> exit 0
| _ -> exit 1