Handling error with ERR search

ftsrg · Nov 22, 2022 · fc306c1 · fc306c1
1 parent 7e400d7
commit fc306c1
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.../xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/utils/XcfaDistToErrComparator.java b/.../xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/utils/XcfaDistToErrComparator.java
@@ -54,8 +54,8 @@ public XcfaDistToErrComparator(final XCFA xcfa, final int errorWeight, final int
 		this.xcfa = xcfa;
 		Pair<XcfaProcedure, List<Expr<?>>> initProc = checkNotNull(xcfa.getInitProcedures().get(0));
 		Optional<XcfaLocation> errorLocOpt = initProc.component1().getErrorLoc();
-		checkState(errorLocOpt.isPresent());
-		this.errLoc = errorLocOpt.get();
+//		checkState(errorLocOpt.isPresent());
+		this.errLoc = errorLocOpt.orElse(null);
 		this.errorWeight = errorWeight;
 		this.depthWeight = depthWeight;
 		distancesToError = null;
@@ -82,7 +82,7 @@ private int getWeightedDistance(final ArgNode<? extends State, ? extends Action>
 	}
 
 	private int getDistanceToError(final XcfaLocation loc) {
-		if (distancesToError == null) {
+		if (distancesToError == null && errLoc != null) {
 			distancesToError = calculateDistancesToError(xcfa, errLoc);
 		} else if (errLoc == null) {
 			return Integer.MAX_VALUE;