Code review comment for lp:~tapaal-contributor/tapaal/fix1953355

Revision history for this message
Jiri Srba (srba) wrote :

It is possible to make an enumeartion color type with element a1 and then created a colortype called a1 - this should be forbidden.

Example what should not be allowed:
c is [a1,a2,a3]
a1 is [2,3]

review: Needs Fixing

« Back to merge proposal