summaryrefslogtreecommitdiff
path: root/Test/AbsHoudini/pred3.bpl
Commit message (Expand)AuthorAge
* AbsHoudini: Added predicate-abstraction domain and some examples.Gravatar akashlal2013-04-25