From a797a9a871f3471258f1d6e7ff162aae68838b6f Mon Sep 17 00:00:00 2001 From: VincenzoArceri Date: Wed, 10 Jan 2024 09:21:21 +0100 Subject: [PATCH] Draft classes for testing pentagon domain --- .../imp-testcases/numeric/pentagons.imp | 3 +++ .../it/unive/lisa/cron/NumericAnalysesTest.java | 15 +++++++++++++++ 2 files changed, 18 insertions(+) create mode 100644 lisa/lisa-analyses/imp-testcases/numeric/pentagons.imp diff --git a/lisa/lisa-analyses/imp-testcases/numeric/pentagons.imp b/lisa/lisa-analyses/imp-testcases/numeric/pentagons.imp new file mode 100644 index 000000000..8b216852a --- /dev/null +++ b/lisa/lisa-analyses/imp-testcases/numeric/pentagons.imp @@ -0,0 +1,3 @@ +class ptng { + +} \ No newline at end of file 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 014d4dc97..012a20773 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 @@ -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); + } }