Be really sure test is run

architecture/synth_xilinx_mux/assert_area.py

@@ -47,7 +47,7 @@ for fn in glob.glob('*.v'):
         assert_area = ['select t:{0} -assert-count {1}'.format(r,v*W) for r,v in zip(['LUT1','LUT2','LUT3','LUT4','LUT5','LUT6','MUXF7','MUXF8'], area[N])]
         print('''
 `ifndef _AUTOTB
-module \$__test ;
+module __test ;
     wire [4095:0] assert_area = "%s";
 endmodule
 `endif

architecture/synth_xilinx_mux/run-test.sh

@@ -24,5 +24,9 @@ python3 generate_small.py
 python3 generate_large.py
 python3 ../assert_area.py
 ${MAKE:-make} -f ../../../../tools/autotest.mk $seed *.v EXTRA_FLAGS="\
-    -p 'synth_xilinx -abc9 -widemux 5; script -select \$__test/w:assert_area'\
+    -p 'design -copy-to __test __test; \
+        synth_xilinx -abc9 -widemux 5; \
+        design -copy-from __test *; \
+        select -assert-any __test; \
+        script -select __test/w:assert_area'\
     -l ../../../../../techlibs/xilinx/cells_sim.v"