Fix latches.ys test
authorSergeyDegtyar <sndegtyar@gmail.com>
Tue, 10 Sep 2019 05:36:59 +0000 (08:36 +0300)
committerMiodrag Milanovic <mmicko@gmail.com>
Thu, 17 Oct 2019 15:10:02 +0000 (17:10 +0200)
tests/xilinx/latches.ys

index 9ab562bcfea4415b93614bdfa07eb5f3fd78a958..042ee2d4f7f0aceb848dedca26e26455c2d5ca43 100644 (file)
@@ -11,10 +11,9 @@ design -load postopt # load the post-opt design (otherwise equiv_opt loads the p
 design -load read
 
 synth_xilinx
-#cd top
-
+flatten
+cd top
 select -assert-count 1 t:LUT1
 select -assert-count 2 t:LUT3
 select -assert-count 3 t:$_DLATCH_P_
-#ERROR: Assertion failed: selection is not empty: t:LUT1 t:LUT3 t:$_DLATCH_P_ %% t:* %D
-#select -assert-none t:LUT1 t:LUT3 t:$_DLATCH_P_ %% t:* %D
+select -assert-none t:LUT1 t:LUT3 t:$_DLATCH_P_ %% t:* %D