From de877a0f3dd232dac69283afaa360277b52883d7 Mon Sep 17 00:00:00 2001 From: mondokm Date: Mon, 22 Feb 2021 19:49:27 +0100 Subject: [PATCH] Fixed codacy warning --- .../mit/theta/xsts/analysis/concretizer/XstsStateSequence.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/concretizer/XstsStateSequence.java b/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/concretizer/XstsStateSequence.java index a117486d73..5a725d89e1 100644 --- a/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/concretizer/XstsStateSequence.java +++ b/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/concretizer/XstsStateSequence.java @@ -84,7 +84,7 @@ public String stateToString(ExplState state) { var optSymbol = type.getLiterals().stream() .filter(symbol -> symbol.getIntValue().equals(intValue)) .findFirst(); - if(!optSymbol.isPresent()) throw new RuntimeException(String.format("Unknown literal value %s for type %s",intValue,type.getName())); + assert optSymbol.isPresent(); sb.add(String.format("(%s %s)", decl.getName(), optSymbol.get().getName())); } else { sb.add(String.format("(%s %s)", decl.getName(), val.get()));