invariant tests

commons-assertions/src/test/java/org/atlanmod/commons/assertions/InvariantAssertionTest.java

@@ -3,6 +3,8 @@ package org.atlanmod.commons.assertions;
 import org.junit.jupiter.api.Test;
 
 import static org.atlanmod.commons.assertions.Assertion.*;
+import static org.junit.jupiter.api.Assertions.assertFalse;
+import static org.junit.jupiter.api.Assertions.assertTrue;
 
 public class InvariantAssertionTest {
     public class Person {
@@ -30,11 +32,25 @@ public class InvariantAssertionTest {
 
     @Test
     void testInvariantTrue() {
+        Assertion.Invariant i;
+        i = Assertion.createInv((Person p1) -> {
+            boolean b = p1.age == 14;
+            return b;
+        });
+        assertThat(p1).checkInvariant(i);
+
+        assertTrue(assertion().check());
+    }
+
+    @Test
+    void testInvariantFalse() {
         Assertion.Invariant i;
         i = Assertion.createInv((Person p1) -> {
             boolean b = p1.age == 15;
             return b;
         });
         assertThat(p1).checkInvariant(i);
+
+        assertFalse(assertion().check());
     }
 }