between TRUE and FALSE .

, then it returns FALSE .

the testee counter(CU:=FALSE [...] counter(CU:=FALSE [...] TM.Assert_Bool_IsFalse

otherwise FALSE . Example

FALSE for the SCE [...] and cond3 is FALSE. (1

:= FALSE; ix : INT [...] DoIt THEN xDoIt := FALSE

memory xInit := FALSE [...] memory xInit := FALSE [...] DataBeta xInit := FALSE

or FALSE FORMAT() FORMAT

False marks libraries

value> : TRUE | FALSE