diff options
Diffstat (limited to 'backends/simplec/test00.sh')
| -rw-r--r-- | backends/simplec/test00.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/simplec/test00.sh b/backends/simplec/test00.sh index 6a7560da0..ede757273 100644 --- 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 |