Project

General

Profile

Actions
Copy link

Feature #6863

closed

Try to invoke Core by means of BenchExec

Added by Evgeny Novikov almost 9 years ago. Updated over 7 years ago.

Status:
Rejected
Priority:
Urgent
Assignee:
-
Category:
Scheduling
Target version:
-
Start date:
02/12/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

At the moment Core is invoked via RunExec that is a part of BenchExec in contrast to static verifiers that are invoked via BenchExec. We should try to use BenchExec for both.

Related issues 2 (0 open — 2 closed)

Blocks Klever - Feature #8201: Use container mode for running both tasks and jobsClosedIlja Zakharov05/18/2017

Actions
Blocks Klever - Feature #8202: Move completely BenchExec results processing from schedulers to core VTG componentClosedIlja Zakharov05/18/2017

Actions
Actions
Copy link

Also available in: Atom PDF