Bad assert; this should give two errors

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

Test case ID: R1001
Language: ST

Code:

tests2/t1001.st
PROGRAM T1001 
   VAR 

   X1:INT;
  END_VAR
   
   X1 :=1;
   
   _GEB_MSG_("This test is expected to give two failed assertions");
   
  (* this is expected to fail! *)
   _GEB_ASSERT_(X1 > 1);

   _GEB_ASSERT_(X1 = 1);

  (* this is expected to fail! *)
   _GEB_ASSERT_(X1 = 3);
   
    

END_PROGRAM