diff --git a/test_regress/t/t_randomize_queue_size.v b/test_regress/t/t_randomize_queue_size.v index b9c2d39939..a713c4184f 100755 --- a/test_regress/t/t_randomize_queue_size.v +++ b/test_regress/t/t_randomize_queue_size.v @@ -32,10 +32,14 @@ endclass class Bar; rand int q[$]; rand int min_size; + rand int q2[$]; constraint c { min_size > 2; q.size() >= min_size; q.size() < 10; + }; + constraint c2 { + q2.size() < 7; } endclass @@ -48,6 +52,7 @@ module t; if (foo.q.size() != 15) $stop; `check_rand(bar, bar.q.size(), bar.q.size() > 2 && bar.q.size() < 10); + `check_rand(bar, bar.q2.size(), bar.q2.size() < 7); $write("*-* All Finished *-*\n"); $finish; end