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

summary refs log tree commit diff

path: root/test/arm/test.isail

blob: 8775ed8f24e328cf09c7bbd31ebe7416ab563ea4 (plain)

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