X-Git-Url: https://deadsoftware.ru/gitweb?p=dsw-obn.git;a=blobdiff_plain;f=Test11.obn;h=aba8cb4bae1d18d664dc202f963784ab443d51d2;hp=847fddfb9dcdf2b6a41579d0e2b995af2861f581;hb=95acec6c3ae8d3c324c84b001a680aa49320790b;hpb=19dd8062f04889d5edbc879d5d9daf89de410aee

diff --git a/Test11.obn b/Test11.obn
index 847fddf..aba8cb4 100644
--- a/Test11.obn
+++ b/Test11.obn
@@ -21,19 +21,8 @@ BEGIN
 
   Out.Real(pi, 0); Out.Ln;
 
-  IF 5 IN set THEN
-    Out.String("SET: Ok"); Out.Ln;
-  ELSE
-    Out.String("INVALID SET"); Out.Ln;
-    HALT(1);
-  END;
-
-  IF bol THEN
-    Out.String("BOOLEAN: Ok"); Out.Ln;
-  ELSE
-    Out.String("INVALID BOOLEAN"); Out.Ln;
-    HALT(1);
-  END;
+  ASSERT(5 IN set);
+  ASSERT(bol);
 END Test11.
 
 Проверка свёртки констант.