From 96ad44f986830e0f3d9258841ebadcbb513a1ce6 Mon Sep 17 00:00:00 2001
From: Richard Bubel <bubel@cs.tu-darmstadt.de>
Date: Fri, 20 Oct 2023 20:47:38 +0200
Subject: [PATCH] Add some more test cases for Strings#isJMLComment

---
 key.util/src/test/java/org/key_project/util/StringsTest.java | 2 ++
 1 file changed, 2 insertions(+)

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
index e36548d1793..6c22e065383 100644
--- 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@"
         };