tests: Add trivial liberty -unit_delay test

YosysHQ · Sep 18, 2024 · d5756eb · d5756eb
1 parent 31476e8
commit d5756eb
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/tests/liberty/run-test.sh b/tests/liberty/run-test.sh
@@ -8,3 +8,8 @@ for x in *.lib; do
 	../../yosys-filterlib -verilogsim $x > $x.verilogsim
 	diff $x.filtered $x.filtered.ok && diff $x.verilogsim $x.verilogsim.ok
 done
+
+for x in *.ys; do
+  echo "Running $x.."
+  ../../yosys -q -s $x -l ${x%.ys}.log
+done
diff --git a/tests/liberty/unit_delay.ys b/tests/liberty/unit_delay.ys
@@ -0,0 +1,3 @@
+# Nothing gets imported: the file lacks timing data
+read_liberty -wb -unit_delay normal.lib
+select -assert-none =*/t:$specify*