Project

General

Profile

Actions
Copy link

Feature #6863

closed

Try to invoke Core by means of BenchExec

Added by Evgeny Novikov about 8 years ago. Updated almost 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
 #1

Updated by Ilja Zakharov almost 7 years ago

  • Priority changed from Normal to Urgent

This is the best time to implement it as it blocks another high priority issue.

Actions
Copy link
 #2

Updated by Evgeny Novikov almost 7 years ago

  • Assignee set to Ilja Zakharov
Actions
Copy link
 #3

Updated by Ilja Zakharov almost 7 years ago

  • Status changed from New to Closed

Seems that this is worse than using RunExec according to input and output API. I recommend to reject it.

Actions
Copy link
 #4

Updated by Evgeny Novikov almost 7 years ago

  • Status changed from Closed to Rejected
  • Assignee deleted (Ilja Zakharov)

The attempt was given.

Actions
Copy link

Also available in: Atom PDF