diff --git a/tests/liberty/options_test.ys b/tests/liberty/options_test.ys new file mode 100644 index 000000000..ef6d51353 --- /dev/null +++ b/tests/liberty/options_test.ys @@ -0,0 +1,23 @@ +# Test memory macro gets ignored due to -ignore_busses +read_verilog -noblackbox <Y arc on nand2_1 exists +select -assert-any =sg13g2_nand2_1/i:A %co1:+$specify2[SRC] =sg13g2_nand2_1/o:Y %co1:+$specify2[DST] %i + +# D->Q arc on sdfbbp_1 doesn't +select -assert-none =sg13g2_sdfbbp_1/i:D %co1:+$specify2[SRC] =sg13g2_nand2_1/o:Q %co1:+$specify2[DST] %i diff --git a/tests/liberty/unit_delay.ys b/tests/liberty/unit_delay.ys deleted file mode 100644 index 8dd409183..000000000 --- a/tests/liberty/unit_delay.ys +++ /dev/null @@ -1,3 +0,0 @@ -# Nothing gets imported: the file lacks timing data -read_liberty -wb -unit_delay normal.lib -select -assert-none =*/t:$specify*