Minor fix on NumericAnalysesTest

lisa-analyzer · Jan 10, 2024 · db23e87 · db23e87
1 parent ebda88b
commit db23e87
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lisa/lisa-analyses/src/test/java/it/unive/lisa/cron/NumericAnalysesTest.java b/lisa/lisa-analyses/src/test/java/it/unive/lisa/cron/NumericAnalysesTest.java
@@ -11,6 +11,7 @@
 import it.unive.lisa.analysis.numeric.Pentagons;
 import it.unive.lisa.analysis.numeric.Sign;
 import it.unive.lisa.conf.LiSAConfiguration.DescendingPhaseType;
+
 import org.junit.Test;
 
 public class NumericAnalysesTest extends AnalysisTestExecutor {
@@ -102,7 +103,7 @@ public void testPentagons() {
 				DefaultConfiguration.defaultTypeDomain());
 		conf.testDir = "numeric";
 		conf.testSubDir = "pentagons";
-		conf.programFile = "numeric.imp";
+		conf.programFile = "pentagons.imp";
 		perform(conf);
 	}
 }