Test.obn

   1 MODULE Test;
   2
   3 VAR
   4   i : INTEGER;
   5   s : SET;
   6
   7 BEGIN
   8   INC(i);
   9   ASSERT(i = 1);
  10   DEC(i);
  11   ASSERT(i = 0);
  12
  13   INCL(s, 3);
  14   ASSERT(3 IN s);
  15   EXCL(s, 3);
  16   ASSERT(~(3 IN s));
  17 END Test.
  18
  19 Проверка встроенных процедур.