test.isail « arm « test - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/test/arm/test.isail

blob: f3f4dfa131ea485ae15f53c6b6847617f4c47966 (plain)

:rewrites interpreter
:elf ../test/arm/test_O2.elf
:output ../test/arm/iresult
initialize_registers()
:run
main()
:run
:quit