Modify simple mux to show segfault

uwsampl · Dec 8, 2023 · 5b4860c · 5b4860c
1 parent 1f0ec58
commit 5b4860c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/backends/lakeroad/tests/simple-mux.sv b/backends/lakeroad/tests/simple-mux.sv
@@ -1,4 +1,5 @@
-// RUN: "$YOSYS" -p 'read_verilog -sv %s; prep -top test; pmuxtree; write_lakeroad'
+// RUN: "$YOSYS" -p 'read_verilog -sv %s; prep -top test; pmuxtree;\
+// RUN: proc; opt; memory; opt; techmap; opt; abc; opt; write_lakeroad'
 module test(input [2:0] a, output [2:0] out);
   // assign out = ~ a;
   always_comb begin