Merge pull request #612 from diffblue/benchmark-syntax-fixes

Fix mismatching parentheses in benchmarks

Author: kroening

examples/Benchmarks/i2c_10.sv

@@ -33,6 +33,6 @@ module i2cStrech #(localparam divider = 4000, localparam CBITS = 14) (input clk,
 			data_clk = 0;
 		end
 	end
-	p1: assert property  (@(posedge clk) s_eventually (rst == 1 || scl_not_ena == 1 || stretch == 1))) ;
+	p1: assert property  (@(posedge clk) s_eventually (rst == 1 || scl_not_ena == 1 || stretch == 1)) ;
 	//F G (rst = F & scl_not_ena = F) -> G F (stretch = T)
 endmodule

examples/Benchmarks/i2c_2.sv

@@ -33,6 +33,6 @@ module i2cStrech #(localparam divider = 250, localparam CBITS = 10) (input clk,
 			data_clk = 0;
 		end
 	end
-	p1: assert property (@(posedge clk) s_eventually (rst == 1 || scl_not_ena == 1 || stretch == 1))) ;
+	p1: assert property (@(posedge clk) s_eventually (rst == 1 || scl_not_ena == 1 || stretch == 1)) ;
 	//F G (rst = F & scl_not_ena = F) -> G F (stretch = T)
 endmodule