testgroup NamedInterfaceAccess for statechart NamedInterfaceAccess{ test SafeOpenSuccess { enter cycle raise User.numberPressed : 3 cycle raise User.numberPressed : 7 cycle raise User.numberPressed : 5 cycle assert Safe.open } }
