Add some more test cases for Strings#isJMLComment

KeYProject · Oct 20, 2023 · 3f4ebee · 3f4ebee
1 parent 1662d51
commit 3f4ebee
Showing 1 changed file with 4 additions and 2 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
@@ -38,12 +38,14 @@ void isJMLComment() {
         String[] correctComments = {
             "/*@ requires ", "//@ requires",
             "/*+KeY@ requires", "//+KeY@ requires",
-            "/*-OtherTool@", "//-OtherTool@"
+            "/*-OtherTool@ requires", "//-OtherTool@ requires"
         };
         String[] inCorrectComments = {
             "/* @ requires ", "// @ requires",
+            "/* +KeY@ requires", "//+KeY requires",
             "/*+OtherTool@ requires", "//+OtherTool@ requires",
-            "/*-KeY@", "//*-KeY@"
+            "/*-OtherTool requires", "//-OtherTool requires",
+            "/*-KeY@ requires", "//*-KeY@ requires"
         };
 
         for (var comment : correctComments) {