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
index 012a20773..919362333 100644
--- 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);
 	}
 }