diff --git a/tests/techmap/dff2ff.ys b/tests/techmap/dff2ff.ys deleted file mode 100644 index 6e7e6082b..000000000 --- a/tests/techmap/dff2ff.ys +++ /dev/null @@ -1,16 +0,0 @@ -read_verilog -icells << EOT -module top(...); - -input [1:0] D; -input C; -output [1:0] Q; - -always @(posedge C) - Q <= D; - -endmodule -EOT - -proc - -equiv_opt -assert techmap -map +/dff2ff.v