Fixed "share" for complex scenarios with never-active cells
authorClifford Wolf <clifford@clifford.at>
Sat, 9 Aug 2014 15:07:20 +0000 (17:07 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 9 Aug 2014 15:07:20 +0000 (17:07 +0200)
commit9d4362990f514ffd2aad3170ec7382f21b8bca67
tree3aab1691828e3ab37403e4a66f379696dc66df7e
parentb9811d5aff7ca31daa214386a041af0865813813
Fixed "share" for complex scenarios with never-active cells
passes/sat/share.cc