Add test with randomize with

Signed-off-by: Ryszard Rozak <[email protected]>

test_regress/t/t_rand_with_queue_size.py

@@ -0,0 +1,21 @@
+#!/usr/bin/env python3
+# DESCRIPTION: Verilator: Verilog Test driver/expect definition
+#
+# Copyright 2024 by Wilson Snyder. This program is free software; you
+# can redistribute it and/or modify it under the terms of either the GNU
+# Lesser General Public License Version 3 or the Perl Artistic License
+# Version 2.0.
+# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
+
+import vltest_bootstrap
+
+test.scenarios('simulator')
+
+if not test.have_solver:
+    test.skip("No constraint solver installed")
+
+test.compile()
+
+test.execute()
+
+test.passes()

test_regress/t/t_rand_with_queue_size.v

@@ -0,0 +1,31 @@
+// DESCRIPTION: Verilator: Verilog Test module
+//
+// This file ONLY is placed under the Creative Commons Public Domain, for
+// any use, without warranty, 2024 by Antmicro Ltd.
+// SPDX-License-Identifier: CC0-1.0
+
+class Foo;
+   rand int q[$];
+   rand int q2[$][$];
+   rand int r;
+   int      x = 1;
+   constraint c {
+      q.size() == 15;
+      q2.size() == 10;
+   }
+endclass
+
+module t;
+   initial begin
+      Foo foo = new;
+
+      int res = foo.randomize() with {r < 5;};
+      if (res != 1) $stop;
+      if (foo.q.size() != 15) $stop;
+      if (foo.q2.size() != 10) $stop;
+      if (foo.r >= 5) $stop;
+
+      $write("*-* All Finished *-*\n");
+      $finish;
+   end
+endmodule