From c1a6d98a9e293cb70084e4cf5bc40ec3f2cc8a60 Mon Sep 17 00:00:00 2001 From: Kirill Golubev Date: Thu, 23 Mar 2023 12:28:14 +0300 Subject: [PATCH 1/2] removed absent tests --- .../java/liquidjava/api/tests/TestExamples.java | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/api/tests/TestExamples.java b/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/api/tests/TestExamples.java index c286c25b..85809897 100644 --- a/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/api/tests/TestExamples.java +++ b/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/api/tests/TestExamples.java @@ -4,26 +4,11 @@ public class TestExamples extends TestAbstract { - // @Test - // public void interanallyInconsistentMethod() { - // testWrong(testPath + "field_updates/InternalInconsistency.java"); - // } - - // @Test - // public void ErrorMethodInvocation() { - // testWrong(testPath + "ErrorMethodInvocation.java"); - // } - @Test public void internalFieldUpdate() { testCorrect(testPath + "field_updates/InternalFieldUpdate.java"); } - // @Test - // public void wrongInternalFieldUpdate() { - // testWrong(testPath + "field_updates/WrongInternalFieldUpdate.java"); - // } - @Test public void correctFieldUpdate() { testCorrect(testPath + "field_updates/CorrectFieldUpdate.java"); From 362c16365fec002a39a1fdf406cc69d0612c9744 Mon Sep 17 00:00:00 2001 From: Kirill Golubev Date: Thu, 23 Mar 2023 12:39:00 +0300 Subject: [PATCH 2/2] no internal update as functions are opaque --- .../src/main/java/liquidjava/api/tests/TestExamples.java | 6 ------ 1 file changed, 6 deletions(-) diff --git a/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/api/tests/TestExamples.java b/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/api/tests/TestExamples.java index 85809897..6f516947 100644 --- a/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/api/tests/TestExamples.java +++ b/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/api/tests/TestExamples.java @@ -3,12 +3,6 @@ import org.junit.Test; public class TestExamples extends TestAbstract { - - @Test - public void internalFieldUpdate() { - testCorrect(testPath + "field_updates/InternalFieldUpdate.java"); - } - @Test public void correctFieldUpdate() { testCorrect(testPath + "field_updates/CorrectFieldUpdate.java");