(C3027) Predefined functions that are used incorrectly
Predefined functions are used with parameters of a wrong type, the wrong number of parameters, or an incorrect return type.A mini-spec contains the following expression, whereTHETA
is defined as a real andC
is defined as a condition:
C
should be a real.