OCL validation does not work

[mse]

I typed in the following rule on a classifier:

INV:self.part->size()=5)

I left an extra parentheses in there to make sure it would fail. However, when I ran model validation, the validation passed without showing any errors.

Do I have my Syntax right? How do I check my OCL statements at all?

I am using the 30-day evaluation version, does that matter?

[qwerty]

EA does not do OCL validation. It only checks the OCL syntax.

q.