diff options
| author | Dag Lem <dag@nimrod.no> | 2023-02-19 23:25:08 +0100 |
|---|---|---|
| committer | Dag Lem <dag@nimrod.no> | 2023-02-19 23:25:08 +0100 |
| commit | 79043cb849e01b494e1ab432dc52f5f99d5ff4af (patch) | |
| tree | 7843419e9c878dc6245fb4cbd210767eca9d6a3a /tests/gen-tests-makefile.sh | |
| parent | f0116330bce4e787dcbbf81c6e901a44715589a8 (diff) | |
| download | yosys-79043cb849e01b494e1ab432dc52f5f99d5ff4af.tar.gz yosys-79043cb849e01b494e1ab432dc52f5f99d5ff4af.tar.bz2 yosys-79043cb849e01b494e1ab432dc52f5f99d5ff4af.zip | |
Out of bounds checking for struct/union members
Currently, only constant indices are checked.
Diffstat (limited to 'tests/gen-tests-makefile.sh')
| -rwxr-xr-x | tests/gen-tests-makefile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/gen-tests-makefile.sh b/tests/gen-tests-makefile.sh index cde9ab1b9..3df36a963 100755 --- a/tests/gen-tests-makefile.sh +++ b/tests/gen-tests-makefile.sh @@ -75,7 +75,7 @@ generate_tests() { if [[ $do_sv = true ]]; then for x in *.sv; do if [ ! -f "${x%.sv}.ys" ]; then - generate_ys_test "$x" "-p \"prep -top top; sat -verify -prove-asserts\" $yosys_args" + generate_ys_test "$x" "-p \"prep -top top; sat -enable_undef -verify -prove-asserts\" $yosys_args" fi; done fi; |