Enable regression tests for out-of-bounds on 2-state queues and dynamic arrays

Now that out-of-bounds access on 2-state queues and dynamic arrays yields
the right value move the tests from the "Not Implemented" list to the list
of tests that get run.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2023-10-01 08:54:53 -07:00
parent 85bf2d11fa
commit 3e58507e87
2 changed files with 2 additions and 2 deletions

View File

@ -126,7 +126,6 @@ sv_darray_nest1 NI ivltests
sv_darray_nest2 NI ivltests
sv_darray_nest3 NI ivltests
sv_darray_nest4 NI ivltests
sv_darray_oob_vec2 NI ivltests
sv_deferred_assert1 NI ivltests
sv_deferred_assert2 NI ivltests
sv_deferred_assume1 NI ivltests
@ -135,4 +134,3 @@ sv_queue_nest1 NI ivltests
sv_queue_nest2 NI ivltests
sv_queue_nest3 NI ivltests
sv_queue_nest4 NI ivltests
sv_queue_oob_vec2 NI ivltests

View File

@ -664,6 +664,7 @@ sv_darray_decl_assign normal,-g2009 ivltests
sv_darray_function normal,-g2009 ivltests
sv_darray_oob_real normal,-g2009 ivltests
sv_darray_oob_string normal,-g2009 ivltests
sv_darray_oob_vec2 normal,-g2009 ivltests
sv_darray_oob_vec4 normal,-g2009 ivltests
sv_darray_signed normal,-g2009 ivltests
sv_darray_word_size normal,-g2005-sv ivltests
@ -784,6 +785,7 @@ sv_queue_function1 normal,-g2009 ivltests
sv_queue_function2 normal,-g2009 ivltests
sv_queue_oob_real normal,-g2009 ivltests
sv_queue_oob_string normal,-g2009 ivltests
sv_queue_oob_vec2 normal,-g2009 ivltests
sv_queue_oob_vec4 normal,-g2009 ivltests
sv_queue_parray normal,-g2009,-pfileline=1 ivltests gold=sv_queue_parray.gold
sv_queue_parray_bounded normal,-g2009,-pfileline=1 ivltests gold=sv_queue_parray_bounded.gold