tests: a PRE_ALL is allowed to follow a PRE

This commit is contained in:
Matthias Jung
2015-09-16 17:26:44 +02:00
parent 5e540c5de2
commit b225bd6367

View File

@@ -250,7 +250,7 @@ def phase_transitions_are_valid(connection):
validTransitions['PDNP'] = set(['ACT', 'REFA'])
validTransitions['SREF'] = set(['ACT'])
else:
validTransitions['PRE'] = set(['ACT'])
validTransitions['PRE'] = set(['ACT','PRE_ALL'])
validTransitions['PRE_ALL'] = set(['REFA'])
validTransitions['ACT'] = set(['RD', 'RDA', 'WR', 'WRA', 'PRE_ALL'])