Commit c9843c55 authored Apr 15, 2026 by Jonathan Andrade Committed by Carlos Galindo Apr 15, 2026

adding classes for testing

parent a00f0d82

iacfg/src/test/resources/BasicContraExample.java

0 → 100644

+13 −0

Original line number	Diff line number	Diff line
		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

iacfg/src/test/resources/TestChainCall.java

0 → 100644

+15 −0

Original line number	Diff line number	Diff line
		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

iacfg/src/test/resources/TestExamplePaperSimpleContra1.java

+1 −1

Original line number	Diff line number	Diff line
		public class TestExamplePaperSimple {
		public class TestExamplePaperSimpleContra1 {

		public static void main(String[] args) {

iacfg/src/test/resources/TestExamplePaperSimpleContra2.java

+1 −1

Original line number	Diff line number	Diff line
		public class TestExamplePaperSimple {
		public class TestExamplePaperSimpleContra2 {

		public static void main(String[] args) {

iacfg/src/test/resources/TestExamplePaperSimpleContra3.java

+1 −1

Original line number	Diff line number	Diff line
		public class TestExamplePaperSimple {
		public class TestExamplePaperSimpleContra3 {

		public static void main(String[] args) {