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:28:12 +0000 (14:28 -0600)
committerAndrew Bernat <bernat@brie.cs.wisc.edu>
Mon, 20 Dec 2010 20:28:12 +0000 (14:28 -0600)
commit15dc5dca15908071930ef77ad5eff291020bbd93
tree8ca7645ae4472a5c993ef57d23df706ea8d6a0db
parent82d2675269d145ae8902c4738d0a56a74c82401c
Check widen/end predicates in slicing; don't assert fail if a widen node is encountered in symbolic expansion.
dataflowAPI/h/slicing.h
dataflowAPI/src/SymEval.C
dataflowAPI/src/slicing.C