Check widen/end predicates in slicing; don't assert fail if a widen node is encounter...
authorAndrew Bernat <bernat@brie.cs.wisc.edu>
Mon, 20 Dec 2010 20:40:51 +0000 (14:40 -0600)
committerAndrew Bernat <bernat@brie.cs.wisc.edu>
Mon, 20 Dec 2010 20:40:51 +0000 (14:40 -0600)
commit89752d6b041d0794d44ddd045cc2a7fdd405bca2
tree49a50456d06b83358f9fe8ae5b24248e33c7f6c5
parent1c30c2256a96002941b4a82db2a8c9a532d5ae6f
Check widen/end predicates in slicing; don't assert fail if a widen node is encountered in symbolic expansion.

Conflicts:

dataflowAPI/src/slicing.C
dataflowAPI/h/slicing.h
dataflowAPI/src/SymEval.C
dataflowAPI/src/slicing.C