Project

General

Profile

Actions
Copy link

Feature #8202

closed

Move completely BenchExec results processing from schedulers to core VTG component

Added by Ilja Zakharov over 7 years ago. Updated over 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

Also available in: Atom PDF