test: s1 repair is doing something

benchmarks/fpga-debugging/axi-lite-s1/project.toml

@@ -0,0 +1,26 @@
+[project]
+directory = "."
+sources = ["xlnxdemo.v"]
+toplevel = "xlnxdemo"
+
+[[bugs]]
+name = "s1b"
+original = "xlnxdemo.v"
+buggy = "xlnxdemo_bug_s1b.v"
+
+[[bugs]]
+name = "s1r"
+original = "xlnxdemo.v"
+buggy = "xlnxdemo_bug_s1r.v"
+
+# trace that leads to a property violation around the B signals when run on s1b
+[[testbenches]]
+name = "s1b"
+table = "tb0.csv"
+
+
+# trace that leads to a property violation around the R signals when run on s1r
+[[testbenches]]
+name = "s1r"
+table = "tb1.csv"
+

benchmarks/fpga-debugging/axi-lite-s1/tb0.csv

@@ -1,11 +1,11 @@
-S_AXI_AWVALID, S_AXI_ARESETN, S_AXI_WSTRB, S_AXI_WVALID, PI_S_AXI_ARPROT, PI_S_AXI_AWPROT, PI_S_AXI_RREADY, PI_S_AXI_ARADDR, PI_S_AXI_ARVALID, PI_S_AXI_AWADDR, PI_S_AXI_WDATA, PI_S_AXI_BREADY
-0, 0, 8, 0, 0, 0, 0, 64, 0, 64, 2147483648, 0
-0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
-1, 1, 8, 1, 0, 0, 1, 64, 1, 64, 2147483648, 0
-1, 1, 8, 1, 0, 0, 1, 64, 1, 64, 2147483648, 0
-1, 1, 8, 1, 0, 0, 1, 64, 0, 64, 2147483648, 0
-1, 1, 8, 1, 0, 0, 1, 64, 0, 64, 2147483648, 0
-0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0
-0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0
-0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0
-0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0
+S_AXI_AWVALID, S_AXI_ARESETN, S_AXI_WSTRB, S_AXI_WVALID, S_AXI_ARPROT, S_AXI_AWPROT, S_AXI_RREADY, S_AXI_ARADDR, S_AXI_ARVALID, S_AXI_AWADDR, S_AXI_WDATA, S_AXI_BREADY, S_AXI_AWREADY, S_AXI_WREADY, S_AXI_RVALID, S_AXI_ARREADY, S_AXI_BRESP, S_AXI_BVALID, S_AXI_RDATA, S_AXI_RRESP
+0, 0, 8, 0, 0, 0, 0, 64, 0, 64, 2147483648, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
+0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
+1, 1, 8, 1, 0, 0, 1, 64, 1, 64, 2147483648, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
+1, 1, 8, 1, 0, 0, 1, 64, 1, 64, 2147483648, 0, 1, 1, 0, 1, 0, 0, 0, 0, 
+1, 1, 8, 1, 0, 0, 1, 64, 0, 64, 2147483648, 0, 0, 0, 1, 0, 0, 1, 0, 0, 
+1, 1, 8, 1, 0, 0, 1, 64, 0, 64, 2147483648, 0, 0, 0, 0, 0, 0, 1, 0, 0, 
+0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 
+0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 
+0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 
+0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 

benchmarks/fpga-debugging/axi-lite-s1/tb1.csv

@@ -1,11 +1,11 @@
-S_AXI_AWVALID, S_AXI_ARESETN, S_AXI_WSTRB, S_AXI_WVALID, PI_S_AXI_ARPROT, PI_S_AXI_AWPROT, PI_S_AXI_RREADY, PI_S_AXI_ARADDR, PI_S_AXI_ARVALID, PI_S_AXI_AWADDR, PI_S_AXI_WDATA, PI_S_AXI_BREADY
-0, 0, 8, 0, 0, 0, 0, 64, 0, 64, 2147483648, 0
-0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
-1, 1, 8, 1, 0, 0, 0, 68, 1, 64, 2147483648, 1
-1, 1, 8, 1, 0, 0, 0, 68, 1, 64, 2147483648, 1
-0, 1, 8, 1, 0, 0, 0, 68, 1, 64, 2147483648, 1
-0, 1, 8, 1, 0, 0, 1, 68, 1, 64, 2147483648, 1
-0, 1, 8, 1, 0, 0, 0, 64, 0, 0, 2147483648, 1
-0, 1, 8, 1, 0, 0, 0, 64, 0, 0, 2147483648, 1
-0, 1, 8, 1, 0, 0, 0, 64, 0, 0, 2147483648, 1
-0, 1, 8, 1, 0, 0, 0, 64, 0, 0, 2147483648, 1
+S_AXI_AWVALID, S_AXI_ARESETN, S_AXI_WSTRB, S_AXI_WVALID, S_AXI_ARPROT, S_AXI_AWPROT, S_AXI_RREADY, S_AXI_ARADDR, S_AXI_ARVALID, S_AXI_AWADDR, S_AXI_WDATA, S_AXI_BREADY, S_AXI_AWREADY, S_AXI_WREADY, S_AXI_RVALID, S_AXI_ARREADY, S_AXI_BRESP, S_AXI_BVALID, S_AXI_RDATA, S_AXI_RRESP
+0, 0, 8, 0, 0, 0, 0, 64, 0, 64, 2147483648, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
+0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
+1, 1, 8, 1, 0, 0, 0, 68, 1, 64, 2147483648, 1, 0, 0, 0, 0, 0, 0, 0, 0, 
+1, 1, 8, 1, 0, 0, 0, 68, 1, 64, 2147483648, 1, 1, 1, 0, 1, 0, 0, 0, 0, 
+0, 1, 8, 1, 0, 0, 0, 68, 1, 64, 2147483648, 1, 0, 0, 1, 0, 0, 1, 0, 0, 
+0, 1, 8, 1, 0, 0, 1, 68, 1, 64, 2147483648, 1, 0, 0, 1, 0, 0, 0, 0, 0, 
+0, 1, 8, 1, 0, 0, 0, 64, 0, 0, 2147483648, 1, 0, 0, 0, 1, 0, 0, 0, 0, 
+0, 1, 8, 1, 0, 0, 0, 64, 0, 0, 2147483648, 1, 0, 0, 0, 0, 0, 0, 0, 0, 
+0, 1, 8, 1, 0, 0, 0, 64, 0, 0, 2147483648, 1, 0, 0, 0, 0, 0, 0, 0, 0, 
+0, 1, 8, 1, 0, 0, 0, 64, 0, 0, 2147483648, 1, 0, 0, 0, 0, 0, 0, 0, 0,