From e2268925741bd4c68dcead708b211bf5fd99440c Mon Sep 17 00:00:00 2001
From: OszkarSemerath <semerath@mit.bme.hu>
Date: Tue, 8 Aug 2023 20:19:03 +0200
Subject: Added test for StateEquivalenceChecker Unknown outcome.

---
 .../statecoding/stateequivalence/StateEquivalenceCheckerImpl.java   | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'subprojects/store/src/main/java/tools')

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) {
-- 
cgit v1.2.3-70-g09d2