Feature #6545
Updated by Evgeny Novikov almost 9 years ago
Implement checking tasks with several files with BenchExec Benchexec in native scheduler without cilling.
Updated by Evgeny Novikov almost 9 years ago
Implement checking tasks with several files with BenchExec Benchexec in native scheduler without cilling.