Apply ABCI Checker only for Cosmos sdk framework

Author: olivieriluca

go-lisa/src/main/java/it/unive/golisa/GoLiSA.java

@@ -205,7 +205,8 @@ public static void main(String[] args) throws AnalysisSetupException {
 			conf.syntacticChecks.add(new UnhandledErrorsChecker());
 			conf.abstractState = new SimpleAbstractState<>(new PointBasedHeap(), new ValueEnvironment<>(new DummyDomain()),
 					new TypeEnvironment<>(new InferredTypes()));
-			conf.semanticChecks.add(new ABCIPanicChecker());
+			if(cmd.getOptionValue("framework").equalsIgnoreCase("COSMOS-SDK"))
+				conf.semanticChecks.add(new ABCIPanicChecker());
 			break;
 		case "numerical-issues":
 			conf.openCallPolicy = RelaxedOpenCallPolicy.INSTANCE;