Commit 8ecbf79b authored by Carlos Galindo's avatar Carlos Galindo
Browse files

Merge branch 'TFM-Jonathan' into 'develop' 

adding classes for testing

See merge request !64
parents a00f0d82 c9843c55

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) {