Handle sliced bits as clock inputs (fixes #2542)

[yosys.git] / backends / simplec / test00.sh

diff --git a/backends/simplec/test00.sh b/backends/simplec/test00.sh
index 6a7560da06bd7f254906db3afbe0f82eba384fa4..ede7572737846bded1aa2c7d5b7a150135038f4d 100644 (file)
--- a/backends/simplec/test00.sh
+++ b/backends/simplec/test00.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
 set -ex
-../../yosys -p 'synth -top test; write_simplec -i8 test00_uut.c' test00_uut.v
+../../yosys -p 'synth -top test; write_simplec -verbose -i8 test00_uut.c' test00_uut.v
 clang -o test00_tb test00_tb.c
 ./test00_tb