Draft classes for testing pentagon domain

lisa-analyzer · Jan 10, 2024 · a797a9a · a797a9a
1 parent ca77cc0
commit a797a9a
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/lisa/lisa-analyses/imp-testcases/numeric/pentagons.imp b/lisa/lisa-analyses/imp-testcases/numeric/pentagons.imp
@@ -0,0 +1,3 @@
+class ptng {
+
+}
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
@@ -8,6 +8,7 @@
 import it.unive.lisa.analysis.numeric.IntegerConstantPropagation;
 import it.unive.lisa.analysis.numeric.Interval;
 import it.unive.lisa.analysis.numeric.Parity;
+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;
@@ -90,4 +91,18 @@ public void testNonRedundantSetOfInterval() {
 		conf.compareWithOptimization = false;
 		perform(conf);
 	}
+
+	@Test
+	public void testPentagons() {
+		CronConfiguration conf = new CronConfiguration();
+		conf.serializeResults = true;
+		conf.abstractState = DefaultConfiguration.simpleState(
+				DefaultConfiguration.defaultHeapDomain(),
+				new Pentagons(),
+				DefaultConfiguration.defaultTypeDomain());
+		conf.testDir = "numeric";
+		conf.testSubDir = "pentagons";
+		conf.programFile = "numeric.imp";
+		perform(conf);
+	}
 }