Skip to content

Enable memset handling and byte-level heap in predicate analysis

Philipp Wendler requested to merge 664-predicate-enable-memset into trunk

This activates the improvements from #296 and #664 / !107 (merged) by default for those configurations of the PredicateCPA that do not involve interpolation.

Merge request reports