Let TestCov use individual isolation of test executions (!52) · Merge requests · SoSy-Lab / Test-Comp / Benchmark Definitions

The source project of this merge request has been removed.

Thomas Lemberger requested to merge (removed):testcov into master Dec 11, 2019

Give each individual test execution a memory limit and a CPU time limit. If one of the limits is exceeded, only the individual test execution is aborted.

Let TestCov use individual isolation of test executions

Merge request reports