I made another puzzle and test case to check what would happen if the…

… cells could actually be lit, meaning there would be no contradiction. The test case passed and so I think CannotLightACellContradictionRule works correctly for all cases.
Bram-Hub · Nov 7, 2023 · fc08c8a · fc08c8a
1 parent 07422af
commit fc08c8a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/test/java/puzzles/lightup/rules/CannotLightACellContradictionRuleTest.java b/src/test/java/puzzles/lightup/rules/CannotLightACellContradictionRuleTest.java
@@ -71,14 +71,14 @@ public void CannotLightMiddleTest() throws InvalidFileFormatException {
 
     @Test
     public void CanLightTest() throws InvalidFileFormatException {
-        TestUtilities.importTestBoard("puzzles/lightup/rules/CannotLightACellContradictionRule/FullLightTest", lightUp);
+        TestUtilities.importTestBoard("puzzles/lightup/rules/CannotLightACellContradictionRule/CanLightTest", lightUp);
         TreeNode rootNode = lightUp.getTree().getRootNode();
         TreeTransition transition = rootNode.getChildren().get(0);
         transition.setRule(RULE);
 
         LightUpBoard board = (LightUpBoard) transition.getBoard();
         //confirm there is a contradiction somewhere on the board
-        Assert.assertNull(RULE.checkContradiction(board));
+        Assert.assertNotNull(RULE.checkContradiction(board));
 
         //confirm these are not required to be lit because they are already lit or unable to be
         Assert.assertNotNull(RULE.checkContradictionAt(board, board.getCell(1, 3)));

diff --git a/src/test/resources/puzzles/lightup/rules/CannotLightACellContradictionRule/FullLightTest b/src/test/resources/puzzles/lightup/rules/CannotLightACellContradictionRule/FullLightTest
@@ -9,7 +9,7 @@
                 <cell value="-1" x="1" y="1"/>
                 <cell value="-1" x="1" y="2"/>
                 <cell value="-1" x="2" y="3"/>
-                <cell value="-2" x="1" y="3"/>
+                <cell value="-3" x="1" y="3"/>
                 <cell value="-3" x="3" y="2"/>
                 <cell value="-3" x="3" y="3"/>
             </cells>