Fixing testbenches

backends/write_btor_and_or/testbench.v

@@ -32,6 +32,6 @@ module testbench;
         patt_B <=  in[7] | in[1:2];
 end
 	
-	assert_comb out_test(.A(patt_B), .B(B));
+	assert_tri out_test(.A(patt_B), .B(B), .en(1'b1));
 
 endmodule

backends/write_firrtl_shift/testbench.v

@@ -31,7 +31,7 @@ module testbench;
     always @(negedge in[0])
         patt_carry_out <=  in[1] + patt_out;
 
-	assert_comb out_test(.A(patt_out), .B(out));
-	assert_comb carry_test(.A(patt_carry_out), .B(carryout));
+	assert_tri out_test(.A(patt_out), .B(out), .en(1'b1));
+	assert_tri carry_test(.A(patt_carry_out), .B(carryout), .en(1'b1));
 
 endmodule

backends/write_ilang_error/testbench.v

@@ -32,6 +32,6 @@ module testbench;
         patt_B <=  in[7] | in[1:2];
 end
 	
-	assert_comb out_test(.A(patt_B), .B(B));
+	assert_tri out_test(.A(patt_B), .B(B), .en(1'b1));
 
 endmodule

frontends/read_blif_and_or/testbench.v

@@ -32,6 +32,6 @@ module testbench;
         patt_B <=  in[7] | in[1:2];
 end
 	
-	assert_comb out_test(.A(patt_B), .B(B));
+	assert_tri out_test(.A(patt_B), .B(B), .en(1'b1));
 
 endmodule

frontends/read_ilang/testbench.v

@@ -32,6 +32,6 @@ module testbench;
         patt_B <=  in[7] | in[1:2];
 end
 	
-	assert_comb out_test(.A(patt_B), .B(B));
+	assert_tri out_test(.A(patt_B), .B(B), .en(1'b1));
 
 endmodule

frontends/read_ilang_error/testbench.v

@@ -32,6 +32,6 @@ module testbench;
         patt_B <=  in[7] | in[1:2];
 end
 	
-	assert_comb out_test(.A(patt_B), .B(B));
+	assert_tri out_test(.A(patt_B), .B(B), .en(1'b1));
 
 endmodule

frontends/read_json_logic/testbench.v

@@ -32,6 +32,6 @@ module testbench;
         patt_B <=  in[7] | in[1:2];
 end
 	
-	assert_comb out_test(.A(patt_B), .B(B));
+	assert_tri out_test(.A(patt_B), .B(B), .en(1'b1));
 
 endmodule