Recursivefixes (!293) · Merge requests · SoSy-Lab / Benchmarking / SV-Benchmarks · GitLab

Matthias Heizmann requested to merge github/fork/Heizmann/recursivefixes into master Dec 03, 2016

First two commits of https://github.com/sosy-lab/sv-benchmarks/pull/292