No problems

This test case it part of the test suite proposed for new devices.

Test case ID: R1002
Language: ST

Code:

tests2/t1002.st
PROGRAM T1002 
   VAR 

   X1:INT;
   B1,B2,B3 : BOOL;  
  
  END_VAR

   X1 :=1;

   _GEB_ASSERT_(X1 <= 1 );

   _GEB_ASSERT_(X1 = 1 AND X1>0);

   _GEB_ASSERT_(X1 = 3 OR X1 < 2);


   B1 := TRUE;
   B2 := FALSE;
   B3 := FALSE;
   IF B1 <> B2 AND NOT B3 THEN
       X1 := 10;
   END_IF;
   _GEB_ASSERT_(X1 = 10);


  // _GEB_MSG_('This should not give errors');


END_PROGRAM