Updated by Evgeny Novikov about 8 years ago
Implement checking tasks with several files with BenchExec Benchexec in native scheduler without cilling.
Back