Test case R1001Full test suite
Device test case
Bad assert; this should give two errors
This test case it part of the test suite proposed for new devices.
Test case ID: R1001
tests2/t1001.stPROGRAM 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