Mercurial > hg > truffle
diff agent/src/scripts/README @ 9477:3b02fe9e1983
Bugfix: loop transformation needs the Assumptions object since it internally calls the Canonicalizer
author | Christian Wimmer <christian.wimmer@oracle.com> |
---|---|
date | Wed, 01 May 2013 09:13:34 -0700 |
parents | c18cbe5936b8 |
children |