The 'verify' operator is supported only in Stateflow Charts that use MATLAB as the action language

The 'verify' operator is supported only in Stateflow Charts and Test Sequence Blocks



cdr