[/] [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.