Feature #8202: Move completely BenchExec results processing from schedulers to core VTG component - Klever - Open-Source Projects

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:

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)