Added support for repeating seeds from previous test run.

Author: LarsAsplund

examples/vhdl/vhdl_configuration/test_reset.vhd

@@ -27,31 +27,3 @@ begin
 
   test_runner_watchdog(runner, 10 * clk_period);
 end;
-
-configuration test_reset_behavioral of tb_selecting_test_runner_with_vhdl_configuration is
-  for tb
-    for test_runner_inst : test_runner
-      use entity work.test_runner(test_reset_a);
-    end for;
-
-    for test_fixture
-      for dut : dff
-        use entity work.dff(behavioral);
-      end for;
-    end for;
-  end for;
-end;
-
-configuration test_reset_rtl of tb_selecting_test_runner_with_vhdl_configuration is
-  for tb
-    for test_runner_inst : test_runner
-      use entity work.test_runner(test_reset_a);
-    end for;
-
-    for test_fixture
-      for dut : dff
-        use entity work.dff(rtl);
-      end for;
-    end for;
-  end for;
-end;

examples/vhdl/vhdl_configuration/test_reset_behavioral.vhd

@@ -0,0 +1,19 @@
+-- This Source Code Form is subject to the terms of the Mozilla Public
+-- License, v. 2.0. If a copy of the MPL was not distributed with this file,
+-- You can obtain one at http://mozilla.org/MPL/2.0/.
+--
+-- Copyright (c) 2014-2025, Lars Asplund [email protected]
+
+configuration test_reset_behavioral of tb_selecting_test_runner_with_vhdl_configuration is
+  for tb
+    for test_runner_inst : test_runner
+      use entity work.test_runner(test_reset_a);
+    end for;
+
+    for test_fixture
+      for dut : dff
+        use entity work.dff(behavioral);
+      end for;
+    end for;
+  end for;
+end;

examples/vhdl/vhdl_configuration/test_reset_rtl.vhd

@@ -0,0 +1,19 @@
+-- This Source Code Form is subject to the terms of the Mozilla Public
+-- License, v. 2.0. If a copy of the MPL was not distributed with this file,
+-- You can obtain one at http://mozilla.org/MPL/2.0/.
+--
+-- Copyright (c) 2014-2025, Lars Asplund [email protected]
+
+configuration test_reset_rtl of tb_selecting_test_runner_with_vhdl_configuration is
+  for tb
+    for test_runner_inst : test_runner
+      use entity work.test_runner(test_reset_a);
+    end for;
+
+    for test_fixture
+      for dut : dff
+        use entity work.dff(rtl);
+      end for;
+    end for;
+  end for;
+end;

examples/vhdl/vhdl_configuration/test_state_change.vhd

@@ -33,31 +33,3 @@ begin
 
   test_runner_watchdog(runner, 10 * clk_period);
 end;
-
-configuration test_state_change_behavioral of tb_selecting_test_runner_with_vhdl_configuration is
-  for tb
-    for test_runner_inst : test_runner
-      use entity work.test_runner(test_state_change_a);
-    end for;
-
-    for test_fixture
-      for dut : dff
-        use entity work.dff(behavioral);
-      end for;
-    end for;
-  end for;
-end;
-
-configuration test_state_change_rtl of tb_selecting_test_runner_with_vhdl_configuration is
-  for tb
-    for test_runner_inst : test_runner
-      use entity work.test_runner(test_state_change_a);
-    end for;
-
-    for test_fixture
-      for dut : dff
-        use entity work.dff(rtl);
-      end for;
-    end for;
-  end for;
-end;

examples/vhdl/vhdl_configuration/test_state_change_behavioral.vhd

@@ -0,0 +1,19 @@
+-- This Source Code Form is subject to the terms of the Mozilla Public
+-- License, v. 2.0. If a copy of the MPL was not distributed with this file,
+-- You can obtain one at http://mozilla.org/MPL/2.0/.
+--
+-- Copyright (c) 2014-2025, Lars Asplund [email protected]
+
+configuration test_state_change_behavioral of tb_selecting_test_runner_with_vhdl_configuration is
+  for tb
+    for test_runner_inst : test_runner
+      use entity work.test_runner(test_state_change_a);
+    end for;
+
+    for test_fixture
+      for dut : dff
+        use entity work.dff(behavioral);
+      end for;
+    end for;
+  end for;
+end;

examples/vhdl/vhdl_configuration/test_state_change_rtl.vhd

@@ -0,0 +1,19 @@
+-- This Source Code Form is subject to the terms of the Mozilla Public
+-- License, v. 2.0. If a copy of the MPL was not distributed with this file,
+-- You can obtain one at http://mozilla.org/MPL/2.0/.
+--
+-- Copyright (c) 2014-2025, Lars Asplund [email protected]
+
+configuration test_state_change_rtl of tb_selecting_test_runner_with_vhdl_configuration is
+  for tb
+    for test_runner_inst : test_runner
+      use entity work.test_runner(test_state_change_a);
+    end for;
+
+    for test_fixture
+      for dut : dff
+        use entity work.dff(rtl);
+      end for;
+    end for;
+  end for;
+end;

tests/acceptance/artificial/vhdl/cfg1.vhd

@@ -4,15 +4,10 @@
 --
 -- Copyright (c) 2014-2025, Lars Asplund [email protected]
 
-architecture arch1 of ent is
-begin
-  arch <= "arch1";
-end;
-
 configuration cfg1 of tb_with_vhdl_configuration is
   for tb
     for ent_inst : ent
       use entity work.ent(arch1);
     end for;
   end for;
-end;
+end;

tests/acceptance/artificial/vhdl/cfg2.vhd

@@ -4,15 +4,10 @@
 --
 -- Copyright (c) 2014-2025, Lars Asplund [email protected]
 
-architecture arch2 of ent is
-begin
-  arch <= "arch2";
-end;
-
 configuration cfg2 of tb_with_vhdl_configuration is
   for tb
     for ent_inst : ent
       use entity work.ent(arch2);
     end for;
   end for;
-end;
+end;

tests/acceptance/artificial/vhdl/cfg3.vhd

@@ -4,15 +4,10 @@
 --
 -- Copyright (c) 2014-2025, Lars Asplund [email protected]
 
-architecture arch3 of ent is
-begin
-  arch <= "arch3";
-end;
-
 configuration cfg3 of tb_with_vhdl_configuration is
   for tb
     for ent_inst : ent
       use entity work.ent(arch3);
     end for;
   end for;
-end;
+end;

tests/acceptance/artificial/vhdl/ent_arch1.vhd

@@ -0,0 +1,10 @@
+-- This Source Code Form is subject to the terms of the Mozilla Public
+-- License, v. 2.0. If a copy of the MPL was not distributed with this file,
+-- You can obtain one at http://mozilla.org/MPL/2.0/.
+--
+-- Copyright (c) 2014-2025, Lars Asplund [email protected]
+
+architecture arch1 of ent is
+begin
+  arch <= "arch1";
+end;