Add another meta test just to be sure

SERG-Delft · Jul 14, 2024 · 4c5b831 · 4c5b831
1 parent ec6611c
commit 4c5b831
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/andy/src/test/java/integration/LibraryMetaTestsTest.java b/andy/src/test/java/integration/LibraryMetaTestsTest.java
@@ -135,7 +135,7 @@ void metaTestsWithMockitoAndCustomException() {
         Result result = run("MockingAssignmentWithCustomExceptionLibrary", "MockingAssignmentWithCustomExceptionWrongWithoutAssertions", "MockingAssignmentWithCustomExceptionConfiguration");
 
         assertThat(result.getMetaTests().getPassedMetaTests()).isEqualTo(0);
-        assertThat(result.getMetaTests().getTotalTests()).isEqualTo(1);
+        assertThat(result.getMetaTests().getTotalTests()).isEqualTo(2);
     }
 
 }
diff --git a/...t/resources/grader/fixtures/Config/MockingAssignmentWithCustomExceptionConfiguration.java b/...t/resources/grader/fixtures/Config/MockingAssignmentWithCustomExceptionConfiguration.java
@@ -42,7 +42,10 @@ public List<MetaTest> metaTests() {
         return List.of(
                 MetaTest.withStringReplacement("my meta test",
                         "a == 10",
-                        "a == 15")
+                        "a == 15"),
+                MetaTest.withStringReplacement("another meta test",
+                        "a == 10",
+                        "a == 20")
         );
     }
 }