Mercurial > hg > truffle
view mx.cmd @ 9663:822adbb2ee7b
CFGVerifier: verify post-dominator calculation
verified against changeset 902a974d55c8, where post-dominator
calculation was bogus.
author | Bernhard Urban <bernhard.urban@jku.at> |
---|---|
date | Mon, 13 May 2013 15:55:41 +0200 |
parents | 4023bae16d02 |
children | 46c51b5d0abb |