Last modification (Rev 34 2008-03-31 10:48:56 GMT)
- Log message:
- Fix a nasty bug in ClockExprTrans.negate: it was turning invariant forall
bindings into transition exists bindings. But, the invariant is not negated,
so the bindings shouldn't change.
Also tidied up the debugging output. It is more hierarchical now.