Merge branch 'master' of https://github.com/nl-utwente-groove/code

Author: rensink

src/main/java/nl/utwente/groove/explore/ExploreResult.java

@@ -120,6 +120,12 @@ public GTSFragment toFragment(boolean internal) {
         return result;
     }
 
+    /** Returns the number of states and transitions found during exploration. */
+    public String getStatistics() {
+        return "Exploration result: %s states, %s transitions"
+            .formatted(this.states.size(), this.transitions.size());
+    }
+
     @Override
     public String toString() {
         return "Result [states=" + this.states + ", " + "transitions=" + this.transitions

src/main/java/nl/utwente/groove/explore/result/Acceptor.java

@@ -114,12 +114,6 @@ public ExploreResult getResult() {
 
     /** Returns a message describing the accepted result. */
     public String getMessage() {
-        String result;
-        if (this.result.isEmpty()) {
-            result = "No result states found";
-        } else {
-            result = this.result.size() + " result states found: " + this.result;
-        }
-        return result;
+        return this.result.getStatistics();
     }
 }