| commit | ebe398bde911eda13e9ccb25fbc8dda15ab43999 | [log] [tgz] |
|---|---|---|
| author | Stefan Schulz <schulzs@mathematik.uni-marburg.de> | Wed Mar 14 09:45:58 2018 +0100 |
| committer | Stefan Schulz <schulzs@mathematik.uni-marburg.de> | Wed Mar 14 09:45:58 2018 +0100 |
| tree | b15f1d80ee71d273d81bbc5c2c4c90593d0d1983 | |
| parent | 1ed5da8b479a5c815d292078d510f7b963534213 [diff] |
Fix bug 522574 The ConditionalUnit was deleted because the model cleaner expected the wrong multiplicity for the else-clause (exactly 1). Instead of letting the cleaner automatically delete faulty units, the validator will now inform the user of missing if- or then- clauses instead. Change-Id: I04fc84b7f5e1624ca044cc9c64a1919cf72e46b7 Signed-off-by: Stefan Schulz <schulzs@mathematik.uni-marburg.de>