Finalizing backward tests #120

lisa-analyzer · Oct 9, 2023 · 896d23b · 896d23b
1 parent 2543b47
commit 896d23b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/...nalyses/src/main/java/it/unive/lisa/interprocedural/BackwardModularWorstCaseAnalysis.java b/...nalyses/src/main/java/it/unive/lisa/interprocedural/BackwardModularWorstCaseAnalysis.java
@@ -71,6 +71,9 @@ public void fixpoint(
 			Class<? extends WorkingSet<Statement>> fixpointWorkingSet,
 			FixpointConfiguration conf)
 			throws FixpointException {
+		if (conf.optimize)
+			LOG.warn("Optimizations are turned on: this feature is experimental with backward analyses");
+
 		// new fixpoint iteration: restart
 		this.results = null;
 

diff --git a/lisa/lisa-analyses/src/test/java/it/unive/lisa/cron/DataflowAnalysesTest.java b/lisa/lisa-analyses/src/test/java/it/unive/lisa/cron/DataflowAnalysesTest.java
@@ -64,6 +64,7 @@ public void testLiveness() {
 				DefaultConfiguration.defaultTypeDomain());
 		conf.testDir = "liveness";
 		conf.programFile = "liveness.imp";
+		conf.compareWithOptimization = false;
 		perform(conf);
 	}
 }