diff --git a/jastadd-mquat-solver/src/test/java/de/tudresden/inf/st/mquat/solving/HandwrittenTestSuite.java b/jastadd-mquat-solver/src/test/java/de/tudresden/inf/st/mquat/solving/HandwrittenTestSuite.java index d4ee2f25e69f6f92ae319ab8f65213b969c2d6c8..dbae9d35bb8a902914d39388205865054f5fbbb8 100644 --- a/jastadd-mquat-solver/src/test/java/de/tudresden/inf/st/mquat/solving/HandwrittenTestSuite.java +++ b/jastadd-mquat-solver/src/test/java/de/tudresden/inf/st/mquat/solving/HandwrittenTestSuite.java @@ -91,6 +91,9 @@ public abstract class HandwrittenTestSuite { private void assertValidSolution(Tuple<Root, Solution> modelAndSolution) { // Assert.assertTrue("Solution is not valid", modelAndSolution.getSecondElement().isValid()); + if (modelAndSolution.getSecondElement().getNumAssignment() == 0) { + logger.warn("Solution is empty"); + } collector.checkThat("Solution is not valid", true, equalTo(modelAndSolution.getSecondElement().isValid())); } @@ -98,19 +101,19 @@ public abstract class HandwrittenTestSuite { @Test public void test_01() throws IOException, Parser.Exception, SolvingException { Tuple<Root, Solution> modelAndSolution = loadAndSolve("test_01.txt"); + assertValidSolution(modelAndSolution); Assignment config_0i0m0 = assertAssignment(modelAndSolution, 0, "config_0i0m0", "r0"); Assignment config_1i0m0 = assertAssignment(modelAndSolution, 0, "config_1i0m0", "r1"); assertComponentRequirement(config_0i0m0,"other", config_1i0m0); - assertValidSolution(modelAndSolution); } @Test public void test_02() throws IOException, Parser.Exception, SolvingException { Tuple<Root, Solution> modelAndSolution = loadAndSolve("test_02.txt"); + assertValidSolution(modelAndSolution); Assignment config_0i0m0 = assertAssignment(modelAndSolution, 0, "config_0i0m0", "r0"); Assignment config_1i0m0 = assertAssignment(modelAndSolution, 0, "config_1i0m0", "r1"); assertComponentRequirement(config_0i0m0,"other", config_1i0m0); - assertValidSolution(modelAndSolution); } @Test