From c9843c553dfe9b337b86ad4b24e53edb1e896df7 Mon Sep 17 00:00:00 2001 From: Jonathan Andrade Date: Wed, 15 Apr 2026 08:41:04 -0500 Subject: [PATCH] adding classes for testing --- iacfg/src/test/resources/BasicContraExample.java | 13 +++++++++++++ iacfg/src/test/resources/TestChainCall.java | 15 +++++++++++++++ .../resources/TestExamplePaperSimpleContra1.java | 2 +- .../resources/TestExamplePaperSimpleContra2.java | 2 +- .../resources/TestExamplePaperSimpleContra3.java | 2 +- .../resources/TestExamplePaperSimpleContra4.java | 2 +- .../resources/TestExamplePaperSimpleContra5.java | 2 +- .../resources/TestExamplePaperSimpleContra6.java | 2 +- .../resources/TestExamplePaperSimpleContra7.java | 2 +- iacfg/src/test/resources/TestInlineCall.java | 11 +++++++++++ iacfg/src/test/resources/TestThreeCall.java | 14 ++++++++++++++ 11 files changed, 60 insertions(+), 7 deletions(-) create mode 100644 iacfg/src/test/resources/BasicContraExample.java create mode 100644 iacfg/src/test/resources/TestChainCall.java create mode 100644 iacfg/src/test/resources/TestInlineCall.java create mode 100644 iacfg/src/test/resources/TestThreeCall.java diff --git a/iacfg/src/test/resources/BasicContraExample.java b/iacfg/src/test/resources/BasicContraExample.java new file mode 100644 index 0000000..6aad5b4 --- /dev/null +++ b/iacfg/src/test/resources/BasicContraExample.java @@ -0,0 +1,13 @@ +public class BasicContraExample { + + public static void main(String[] args) { + f(); + while(true) { + f(); + } + } + + public static void f() { + int x = 1; + } +} \ No newline at end of file diff --git a/iacfg/src/test/resources/TestChainCall.java b/iacfg/src/test/resources/TestChainCall.java new file mode 100644 index 0000000..7aab26b --- /dev/null +++ b/iacfg/src/test/resources/TestChainCall.java @@ -0,0 +1,15 @@ +public class TestChainCall { + + public static void main(String[] args) { + f(); + g(); + } + + public static void f() { + g(); + } + + public static void g() { + int x = 1; + } +} \ No newline at end of file diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra1.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra1.java index 7889d62..74a0bbf 100644 --- a/iacfg/src/test/resources/TestExamplePaperSimpleContra1.java +++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra1.java @@ -1,4 +1,4 @@ -public class TestExamplePaperSimple { +public class TestExamplePaperSimpleContra1 { public static void main(String[] args) { diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra2.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra2.java index dc867ab..a07491b 100644 --- a/iacfg/src/test/resources/TestExamplePaperSimpleContra2.java +++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra2.java @@ -1,4 +1,4 @@ -public class TestExamplePaperSimple { +public class TestExamplePaperSimpleContra2 { public static void main(String[] args) { diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra3.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra3.java index afbc7b0..00cd8b0 100644 --- a/iacfg/src/test/resources/TestExamplePaperSimpleContra3.java +++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra3.java @@ -1,4 +1,4 @@ -public class TestExamplePaperSimple { +public class TestExamplePaperSimpleContra3 { public static void main(String[] args) { diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra4.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra4.java index 44c0e5b..ba33522 100644 --- a/iacfg/src/test/resources/TestExamplePaperSimpleContra4.java +++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra4.java @@ -1,4 +1,4 @@ -public class TestExamplePaperSimple { +public class TestExamplePaperSimpleContra4 { public static void main(String[] args) { diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra5.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra5.java index 5284a69..e78cb96 100644 --- a/iacfg/src/test/resources/TestExamplePaperSimpleContra5.java +++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra5.java @@ -1,4 +1,4 @@ -public class TestExamplePaperSimple { +public class TestExamplePaperSimpleContra5 { public static void main(String[] args) { diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra6.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra6.java index a451665..5e59ed4 100644 --- a/iacfg/src/test/resources/TestExamplePaperSimpleContra6.java +++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra6.java @@ -1,4 +1,4 @@ -public class TestExamplePaperSimple { +public class TestExamplePaperSimpleContra6 { public static void main(String[] args) { diff --git a/iacfg/src/test/resources/TestExamplePaperSimpleContra7.java b/iacfg/src/test/resources/TestExamplePaperSimpleContra7.java index a73d3ad..47a5d6e 100644 --- a/iacfg/src/test/resources/TestExamplePaperSimpleContra7.java +++ b/iacfg/src/test/resources/TestExamplePaperSimpleContra7.java @@ -1,4 +1,4 @@ -public class TestExamplePaperSimple { +public class TestExamplePaperSimpleContra7 { public static void main(String[] args) { diff --git a/iacfg/src/test/resources/TestInlineCall.java b/iacfg/src/test/resources/TestInlineCall.java new file mode 100644 index 0000000..bc71ffb --- /dev/null +++ b/iacfg/src/test/resources/TestInlineCall.java @@ -0,0 +1,11 @@ +public class TestInlineCall { + + public static void main(String[] args) { + f(); + f(); + } + + public static void f() { + int x = 1; + } +} \ No newline at end of file diff --git a/iacfg/src/test/resources/TestThreeCall.java b/iacfg/src/test/resources/TestThreeCall.java new file mode 100644 index 0000000..26070ea --- /dev/null +++ b/iacfg/src/test/resources/TestThreeCall.java @@ -0,0 +1,14 @@ +public class TestThreeCall { + + public static void main(String[] args) { + f(); + while(true) { + f(); + } + f(); + } + + public static void f() { + int x = 1; + } +} \ No newline at end of file -- GitLab