Skip to content

Add support for correctness witness validation with predicate analysis (especially overflows

Martin Spiessl requested to merge configWitnessValidationPredicateAnalysis into trunk

This MR is just to get a good diff against trunk for review.

Merge request reports