ThreadingCPA support for Predicate Analysis and BMC (!29) · Merge requests · SoSy-Lab / Software / CPAchecker · GitLab

Karlheinz Friedberger requested to merge ThreadingCPA-support-PredicateAnalysis into trunk Oct 16, 2020

This branch contains most of the changes of a bachelor thesis.

We can review the changes and discuss before merging them into trunk.