cucapra
diff --git a/‎monitor/tests/adders/add_combinational.fst‎
1 Byte b/‎monitor/tests/adders/add_combinational.fst‎
1 Byte
diff --git a/‎monitor/tests/adders/add_combinational.prot‎
Lines changed: 1 addition & 1 deletion b/‎monitor/tests/adders/add_combinational.prot‎
Lines changed: 1 addition & 1 deletion
@@ -1,4 +1,4 @@
-// ARGS: --wave adders/add_combinational.fst --instances adder_d0:Adder 
+// ARGS: --wave adders/add_combinational.fst --instances add_d0:Adder 
 struct Adder {
   in a: u32,
   in b: u32,
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// ARGS: --wave adders/add_combinational.fst --instances adder_d0:Adder`
	`1`	`+// ARGS: --wave adders/add_combinational.fst --instances add_d0:Adder`
`2`	`2`	`struct Adder {`
`3`	`3`	`in a: u32,`
`4`	`4`	`in b: u32,`