arch = "RISCV"
name = "MP"
hash = "2939da84098a543efdbb91e30585ab71"
cycle = "Rfe PodRR Fre PodWW"
relax = ""
safe = "Rfe Fre PodWW PodRR"
generator = "diy7 (version 7.51+4(dev))"
prefetch = "0:x=F,0:y=W,1:y=F,1:x=T"
com = "Rf Fr"
orig = "PodWW Rfe PodRR Fre"
symbolic = ["x", "y"]
[thread.0]
init = { x7 = "y", x6 = "x", x5 = "1" }
code = """
sw x5,0(x6)
sw x5,0(x7)
"""
[thread.1]
init = { x8 = "x", x6 = "y" }
code = """
lw x5,0(x6)
lw x7,0(x8)
"""
[final]
expect = "sat"
assertion = "1:x5 = 1 & 1:x7 = 0"