Merge pull request #1927 from YosysHQ/eddie/design_remove_assert

[yosys.git] / tests / techmap / recursive_runtest.sh

set -ev

../../yosys -p 'hierarchy -top top; techmap -map recursive_map.v -max_iter 1; select -assert-count 2 t:sub; select -assert-count 2 t:bar' recursive.v