Add some more test cases for Strings#isJMLComment

KeYProject · Oct 20, 2023 · 96ad44f · 96ad44f
1 parent 1662d51
commit 96ad44f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/key.util/src/test/java/org/key_project/util/StringsTest.java b/key.util/src/test/java/org/key_project/util/StringsTest.java
@@ -42,7 +42,9 @@ void isJMLComment() {
         };
         String[] inCorrectComments = {
             "/* @ requires ", "// @ requires",
+            "/* +KeY@ requires", "//+KeY requires",
             "/*+OtherTool@ requires", "//+OtherTool@ requires",
+            "/*-OtherTool", "//-OtherTool",
             "/*-KeY@", "//*-KeY@"
         };