Klever

Feature #6545

Updated by Evgeny Novikov over 8 years ago

Implement checking tasks with several files with BenchExec Benchexec in native scheduler without cilling.

Back