Add "chformal -assert2assume" and friends
authorClifford Wolf <clifford@clifford.at>
Mon, 27 Feb 2017 22:59:59 +0000 (23:59 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 27 Feb 2017 23:00:44 +0000 (00:00 +0100)
commit1a6c02a5328b3267fef69d12146f1a66eb1c5062
tree0ca1f45be5ec971585b0b9c5d1054aaaffabcfc9
parentdb7fc0e32d905e7447b7f9f93d611d3d09ad7b24
Add "chformal -assert2assume" and friends
passes/cmds/chformal.cc