-
Maxime Perrotin authored
choice types ; added verification that DCL-variables are declared only once ; added verification that a given input is not defined more than once for a given state
a51cbda5
choice types ; added verification that DCL-variables are declared only once ; added verification that a given input is not defined more than once for a given state