Project

General

Profile

Actions
Copy link

Feature #8202

closed

Move completely BenchExec results processing from schedulers to core VTG component

Added by Ilja Zakharov almost 7 years ago. Updated almost 7 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Tasks generation
Target version:
-
Start date:
05/18/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

We do not need an additional abstraction for result representation so it is better to do all processing in the one place. Moreover, there are some specific cases when BenchExec provides quite complex results with many witnesses timeouts at once and etc. It is better to use separate strategies in VTG for processing it.

Related issues 1 (0 open — 1 closed)

Blocked by Klever - Feature #6863: Try to invoke Core by means of BenchExecRejected02/12/2016

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov almost 7 years ago

  • Assignee set to Ilja Zakharov
Actions
Copy link
 #2

Updated by Ilja Zakharov almost 7 years ago

  • Status changed from New to Resolved

Implemented in be-advanced-integration.

Actions
Copy link
 #3

Updated by Ilja Zakharov almost 7 years ago

  • Status changed from Resolved to Closed

Merged in 5baf5c80.

Actions
Copy link

Also available in: Atom PDF