Description
Software verification workflows can use an SVN snapshot of CPAchecker for configurable analysis of program behavior. It is useful for researchers and developers who need the upstream development version for experiments or compatibility.
Development snapshots can change results between updates. Keep inputs, configuration, and tool version recorded when comparing verification reports.