diyone7 Fatal error:failed:Observer

[curious-whq]

Dear Authors,

Sorry for interrupting you here. I am a newcomer to Herd, I'm encountering some puzzling errors while using diyone7 to generate litmus tests. I would like to present for your help:

diyone7: Fatal error: Test A [PosRW Coe Fence.rw.rwdWW Fence.rw.rwdWW Rfe] failed:Observer.This error occurs when I use the following argments

diyone7 -arch=RISCV PosRW Coe Fence.rw.rwdWW Fence.rw.rwdWW Rfe

I fail to understand the meaning of the Observer in this error message as well as the specific circumstances that lead to this exception being triggered? Thank you!

It would be sincerely appreciated if any comments or guidance could be provided. Thank you in advance for your time and great patience!

Yours sincerely,
Haoqi

[maranget]

You test has three of more writes to one memory location x. As a consequence, one cannot deduce the ordering of the writes to x from the final value of x.

For the test to be accepted, there are several options that the documentation describes here. Your best option may be to add the command-line option -obs local:

% diyone7 -arch=RISCV -obs local PosRW Coe Fence.rw.rwdWW Fence.rw.rwdWW Rfe

There are other options such as -obs accept.