X-Git-Url: https://deadsoftware.ru/gitweb?p=dsw-obn.git;a=blobdiff_plain;f=Test.obn;h=82fbedbbc7c705e6e6a7a46f3cfb2a2e3c34c7d2;hp=da1f5453089ca918510c6b19e914ac2dbbf33d42;hb=2985d77f3ee4af98761b28b4ce1e57582d8c8619;hpb=9b4f78290edb5f5bedeb12e683546fa00082f108 diff --git a/Test.obn b/Test.obn index da1f545..82fbedb 100644 --- a/Test.obn +++ b/Test.obn @@ -1,19 +1,9 @@ MODULE Test; VAR - i : INTEGER; + i : SHORTINT; s : SET; BEGIN - INC(i); - ASSERT(i = 1); - DEC(i); - ASSERT(i = 0); - - INCL(s, 3); - ASSERT(3 IN s); - EXCL(s, 3); - ASSERT(~(3 IN s)); + i := SHORT(12345); END Test. - -Проверка встроенных процедур.