From 7719622ff4f72769f15a771dc5455dabeff295bc Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Mon, 10 Nov 2025 18:57:08 +1300 Subject: Infinite number of States in a World enabled with lazy evaluation --- tests.gpr | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'tests.gpr') diff --git a/tests.gpr b/tests.gpr index 505d53f..e555285 100644 --- a/tests.gpr +++ b/tests.gpr @@ -17,11 +17,13 @@ project Tests is for Main use ("ab.adb", + "fivesix.adb", "pprint.adb"); package Builder is - for Executable ("ab.adb") use "ab"; - for Executable ("pprint.adb") use "pprint"; + for Executable ("ab.adb") use "ab"; + for Executable ("fivesix.adb") use "fivesix"; + for Executable ("pprint.adb") use "pprint"; for Default_Switches ("Ada") use Common.Builder'Default_Switches ("Ada"); -- cgit