From c55012d2dabdf9be840e4f2df166e7f512c02d1e Mon Sep 17 00:00:00 2001 From: Andrew Helwer Date: Thu, 31 Jul 2025 12:09:53 -0500 Subject: [PATCH] Changed Moving Cat Puzzle & Prisoners models to follow naming conventions This ensures generate_manifest.py detects the models & associates them with the correct spec Signed-off-by: Andrew Helwer --- manifest.json | 10 +++++----- .../{EvenBoxes.cfg => CatEvenBoxes.cfg} | 0 .../{OddBoxes.cfg => CatOddBoxes.cfg} | 0 .../{SoloPrisoner.cfg => PrisonerSolo.cfg} | 0 ...erLightUnknown.cfg => PrisonerSoloLightUnknown.cfg} | 0 5 files changed, 5 insertions(+), 5 deletions(-) rename specifications/Moving_Cat_Puzzle/{EvenBoxes.cfg => CatEvenBoxes.cfg} (100%) rename specifications/Moving_Cat_Puzzle/{OddBoxes.cfg => CatOddBoxes.cfg} (100%) rename specifications/Prisoners_Single_Switch/{SoloPrisoner.cfg => PrisonerSolo.cfg} (100%) rename specifications/Prisoners_Single_Switch/{SoloPrisonerLightUnknown.cfg => PrisonerSoloLightUnknown.cfg} (100%) diff --git a/manifest.json b/manifest.json index 6584d385..05d877a5 100644 --- a/manifest.json +++ b/manifest.json @@ -1363,7 +1363,7 @@ "features": [], "models": [ { - "path": "specifications/Moving_Cat_Puzzle/OddBoxes.cfg", + "path": "specifications/Moving_Cat_Puzzle/CatOddBoxes.cfg", "runtime": "00:00:01", "size": "small", "mode": "exhaustive search", @@ -1376,7 +1376,7 @@ "stateDepth": 1 }, { - "path": "specifications/Moving_Cat_Puzzle/EvenBoxes.cfg", + "path": "specifications/Moving_Cat_Puzzle/CatEvenBoxes.cfg", "runtime": "00:00:01", "size": "small", "mode": "exhaustive search", @@ -1962,7 +1962,7 @@ "stateDepth": 11 }, { - "path": "specifications/Prisoners_Single_Switch/SoloPrisoner.cfg", + "path": "specifications/Prisoners_Single_Switch/PrisonerSolo.cfg", "runtime": "00:00:01", "size": "small", "mode": "exhaustive search", @@ -1975,7 +1975,7 @@ "stateDepth": 2 }, { - "path": "specifications/Prisoners_Single_Switch/SoloPrisonerLightUnknown.cfg", + "path": "specifications/Prisoners_Single_Switch/PrisonerSoloLightUnknown.cfg", "runtime": "00:00:01", "size": "small", "mode": "exhaustive search", @@ -5434,4 +5434,4 @@ ] } ] -} \ No newline at end of file +} diff --git a/specifications/Moving_Cat_Puzzle/EvenBoxes.cfg b/specifications/Moving_Cat_Puzzle/CatEvenBoxes.cfg similarity index 100% rename from specifications/Moving_Cat_Puzzle/EvenBoxes.cfg rename to specifications/Moving_Cat_Puzzle/CatEvenBoxes.cfg diff --git a/specifications/Moving_Cat_Puzzle/OddBoxes.cfg b/specifications/Moving_Cat_Puzzle/CatOddBoxes.cfg similarity index 100% rename from specifications/Moving_Cat_Puzzle/OddBoxes.cfg rename to specifications/Moving_Cat_Puzzle/CatOddBoxes.cfg diff --git a/specifications/Prisoners_Single_Switch/SoloPrisoner.cfg b/specifications/Prisoners_Single_Switch/PrisonerSolo.cfg similarity index 100% rename from specifications/Prisoners_Single_Switch/SoloPrisoner.cfg rename to specifications/Prisoners_Single_Switch/PrisonerSolo.cfg diff --git a/specifications/Prisoners_Single_Switch/SoloPrisonerLightUnknown.cfg b/specifications/Prisoners_Single_Switch/PrisonerSoloLightUnknown.cfg similarity index 100% rename from specifications/Prisoners_Single_Switch/SoloPrisonerLightUnknown.cfg rename to specifications/Prisoners_Single_Switch/PrisonerSoloLightUnknown.cfg