From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 28 Jan 2020 17:26:10 +0000 (+0100)
Subject: Updated test to use assert-max
X-Git-Tag: working-ls180~838^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=94191a93ddf85f8849d40e5ee85fd659b0780994;p=yosys.git

Updated test to use assert-max
---

diff --git a/tests/arch/efinix/mux.ys b/tests/arch/efinix/mux.ys
index 91c110ae0..a5ab80d8b 100644
--- a/tests/arch/efinix/mux.ys
+++ b/tests/arch/efinix/mux.ys
@@ -36,6 +36,6 @@ proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd mux16 # Constrain all select calls below inside the top module
-select -assert-min 11 t:EFX_LUT4
+select -assert-max 12 t:EFX_LUT4
 
 select -assert-none t:EFX_LUT4 %% t:* %D