test cases

[gulmezmerve]

Hello,

I am interested in learning how the input for this file was generated. I have modified the capabilities to use a 48-bit address instead of a 64-bit address. As expected, all the test cases are now failing, I would like to generate test cases for 48 bits address space? Could you guide me

[arichardson]

If I recall correctly those inputs were generated by @rmn30 from the sail model. As those depend on the 64-bit address space, I think in your case the easiest approach would be to skip them (in same way morello skips them since the encoding is different).