Speed up test/check.py for more pleasant local use (!34) · Merge requests · SoSy-Lab / Test-Comp / Benchmark Definitions

The source project of this merge request has been removed.

Thomas Lemberger requested to merge (removed):master into master Oct 30, 2019

Executes immediately now thanks to a cache, instead of downloading the same DTD n times.

Speed up test/check.py for more pleasant local use