Added test for StateEquivalenceChecker Unknown outcome.

1 files changed, 5 insertions, 1 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/statecoding/stateequivalence/StateEquivalenceCheckerImpl.java b/subprojects/store/src/main/java/tools/refinery/store/statecoding/stateequivalence/StateEquivalenceCheckerImpl.java
index 34dba34e..ef0d76a7 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/statecoding/stateequivalence/StateEquivalenceCheckerImpl.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/statecoding/stateequivalence/StateEquivalenceCheckerImpl.java
@@ -58,7 +58,11 @@ public class StateEquivalenceCheckerImpl implements StateEquivalenceChecker {
                         tried++;
                 } while (hasNext);
 
-                return EquivalenceResult.DIFFERENT;
+                if(permutations == EquivalenceResult.UNKNOWN) {
+                        return EquivalenceResult.UNKNOWN;
+                } else {
+                        return EquivalenceResult.DIFFERENT;
+                }
         }
 
         private LongObjectHashMap<IntHashSet> indexByHash(ObjectCode code, IntSet individuals) {