[/] [trunk/] - Rev 32
Last modification (Rev 32, 2008-03-31 03:36:59 GMT)
- Author:
- tbourke
- Log message:
- Added warnings for urgent channels leaving locations with invariants
containing clocks as they may lead to `Clock guards are not allowed on
urgent edges' warnings.
