[/] [trunk/] - Rev 27
Last modification (Rev 27, 2008-03-28 05:50:05 GMT)
- Author:
- tbourke
- Log message:
- Bug fix: invertActionAndAddInvariant failed to add selection bindings to the
environment passed to TransitionFlipper.andExpr, resulting in
NonClockTerm exceptions for valid terms.
