test.isail « string_equality « ocaml « test - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/test/ocaml/string_equality/test.isail

blob: e5926ff5ccae62eb427a6d276e96bd4a5f2e63b5 (plain)

:rewrites interpreter
initialize_registers()
:run
:output result
main()
:run
:quit