[Simh] Asserting memory contents

Seth Morabito lists+simh at loomcom.com
Sat Dec 20 16:06:24 EST 2014


I'm still working on my 3B2 simulator, albeit slowly, and I'm continuing
to explore writing a full test suite using SIMH's ASSERT and EXPECT
features. So far it's going very well!

It's easy to check the state of registers, e.g.:

    SET ON
    ON AFAIL GOTO :failure
    ...
    ASSERT R0=00002EFF 
    ...
    :failure
    ECHO ** TEST FAILED **
    QUIT

But I don't know the ASSERT expression syntax for testing memory
locations. Ideally I would want something like:

    ASSERT 00001000=000000FF

to assert that memory at location 0x1000 is equal to 0xff, but that's
not the correct syntax. I'm not sure what is.  Is there one? Or is
there a better strategy for me to use?

-Seth


More information about the Simh mailing list