diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-05-27 12:49:16 -0700 |
---|---|---|
committer | Marcelina KoĆcielnicka <mwk@0x04.net> | 2020-07-04 19:45:10 +0200 |
commit | 52fbaeca07a5d8d0a3776d56665dc3bdaadf96b4 (patch) | |
tree | 9fb6afbf958a96af6258cc7bbc207c9ddcdcc237 /tests | |
parent | 27a9d1b6e68a2d8c6db03524fff8fa832a7b6583 (diff) | |
download | yosys-52fbaeca07a5d8d0a3776d56665dc3bdaadf96b4.tar.gz yosys-52fbaeca07a5d8d0a3776d56665dc3bdaadf96b4.tar.bz2 yosys-52fbaeca07a5d8d0a3776d56665dc3bdaadf96b4.zip |
tests: update fsm.ys resource count
Suspect it is to do with map/set ordering in techmap; should
be fixed by #1862?
Diffstat (limited to 'tests')
-rw-r--r-- | tests/arch/intel_alm/fsm.ys | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/arch/intel_alm/fsm.ys b/tests/arch/intel_alm/fsm.ys index 67965569b..20321c62f 100644 --- a/tests/arch/intel_alm/fsm.ys +++ b/tests/arch/intel_alm/fsm.ys @@ -13,7 +13,7 @@ cd fsm # Constrain all select calls below inside the top module select -assert-count 6 t:MISTRAL_FF select -assert-max 2 t:MISTRAL_ALUT2 # Clang returns 2, GCC returns 1 -select -assert-count 1 t:MISTRAL_ALUT3 -select -assert-count 5 t:MISTRAL_ALUT5 -select -assert-count 2 t:MISTRAL_ALUT6 -select -assert-none t:MISTRAL_FF t:MISTRAL_ALUT2 t:MISTRAL_ALUT3 t:MISTRAL_ALUT5 t:MISTRAL_ALUT6 %% t:* %D +select -assert-max 1 t:MISTRAL_ALUT4 # Clang returns 0, GCC returns 1 +select -assert-max 5 t:MISTRAL_ALUT5 # Clang returns 5, GCC returns 4 +select -assert-max 2 t:MISTRAL_ALUT6 # Clang returns 1, GCC returns 2 +select -assert-none t:MISTRAL_FF t:MISTRAL_ALUT2 t:MISTRAL_ALUT4 t:MISTRAL_ALUT5 t:MISTRAL_ALUT6 %% t:* %D |