Various improvements in expose command (added -sep and -cut)
authorClifford Wolf <clifford@clifford.at>
Sun, 9 Feb 2014 10:07:46 +0000 (11:07 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 9 Feb 2014 10:07:46 +0000 (11:07 +0100)
commit38469e76861a4ced8c557c86d7818183e2be5eba
treeb0994b4ed179c582ec62de08b9772b8ff253db47
parentb6f33576d598b4d9359e1638f4e6ce85b537dbfb
Various improvements in expose command (added -sep and -cut)
passes/sat/expose.cc