added tests for abs/2, refs #7

mlliarm · mlliarm · commit 57da2517efd0 · 2020-11-15T10:52:49.000+01:00
diff --git a/tests.lgt b/tests.lgt
@@ -119,5 +119,14 @@
         Wid == 1.
 
     % abs/2 tests
+    test(interval_arithmetic_abs_2_01, deterministic) :-
+        new(-3, 2, X),
+        abs(X, Abs),
+        Abs == 3.
+
+    test(interval_arithmetic_abs_2_02, fail) :-
+        new(-3, 2, X),
+        abs(X, Abs),
+        Abs == 2.
 
 :- end_object.
