Cleaned up deprecated xcfa-utils module

ftsrg · Nov 7, 2021 · 91cffdf · 91cffdf
1 parent 85e7763
commit 91cffdf
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 24 deletions.
diff --git a/settings.gradle.kts b/settings.gradle.kts
@@ -18,7 +18,6 @@ include(
         "xcfa/xcfa-analysis",
         "xcfa/xcfa-cli",
         "xcfa/cat",
-        "xcfa/xcfa-utils",
 
         "xta/xta",
         "xta/xta-analysis",

diff --git a/subprojects/xcfa/xcfa-analysis/build.gradle.kts b/subprojects/xcfa/xcfa-analysis/build.gradle.kts
@@ -9,5 +9,4 @@ dependencies {
     compile(project(":theta-cat"))
     compile(project(":theta-common"))
     compile(project(":theta-solver-smtlib"))
-    compile(project(":theta-xcfa-utils"))
 }
diff --git a/subprojects/xcfa/xcfa-cli/build.gradle.kts b/subprojects/xcfa/xcfa-cli/build.gradle.kts
@@ -6,7 +6,6 @@ plugins {
 dependencies {
     compile(project(":theta-xcfa"))
     compile(project(":theta-xcfa-analysis"))
-    compile(project(":theta-xcfa-utils"))
     compile(project(":theta-solver-z3"))
     compile(project(":theta-cfa-analysis"))
     compile(project(":theta-cfa"))

diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/stateless/XcfaCli.java b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/stateless/XcfaCli.java
@@ -50,9 +50,6 @@
 import hu.bme.mit.theta.xcfa.analysis.algorithmselection.SequentialPortfolio;
 import hu.bme.mit.theta.xcfa.analysis.common.XcfaConfig;
 import hu.bme.mit.theta.xcfa.analysis.common.XcfaConfigBuilder;
-import hu.bme.mit.theta.xcfa.analysis.declarative.XcfaDeclarativeAction;
-import hu.bme.mit.theta.xcfa.analysis.declarative.XcfaDeclarativeState;
-import hu.bme.mit.theta.xcfa.analysis.utils.XcfaTraceConcretizer;
 import hu.bme.mit.theta.xcfa.model.XCFA;
 import hu.bme.mit.theta.xcfa.model.utils.FrontendXcfaBuilder;
 import hu.bme.mit.theta.xcfa.analysis.utils.OutputHandler;
@@ -100,12 +97,8 @@ public class XcfaCli {
 	@Parameter(names = "--no-analysis", description = "Executes the model transformation to XCFA and CFA, and then exits; use with --output-results to get data about the (X)CFA")
 	boolean noAnalysis = false;
 
-	File cexfile = null;
-	File witnessfile = null;
-	File dotwitnessfile = null;
-	File highlightedxcfafile = null;
-	File cfafile = null;
-	File xcfafile = null;
+	File cexfile = null; // for legacy cfa only
+	File cfafile = null; // for legacy cfa only
 
 	//////////// arithmetic types allowed ////////////
 
@@ -390,7 +383,7 @@ private void executeSingleConfiguration(XCFA xcfa) throws Exception {
 		SafetyResult<?, ?> status = check(configuration);
 		if (status!=null && status.isUnsafe()) {
 			OutputHandler.getInstance().writeCounterexamples(status, refinementSolver);
-		} else if(status!=null && status.isSafe() && witnessfile!=null) {
+		} else if(status!=null && status.isSafe()) {
 			OutputHandler.getInstance().writeDummyCorrectnessWitness();
 		}
 	}

diff --git a/subprojects/xcfa/xcfa-utils/build.gradle.kts b/subprojects/xcfa/xcfa-utils/build.gradle.kts