Project

General

Profile

Actions

Feature #6699

closed

Native scheduler does not take care of verifier version

Added by Ilja Zakharov almost 9 years ago. Updated about 8 years ago.

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

0%

Estimated time:
Published in build:

Description

Currently it ignores requested verification tool version which is given within a verification task description.


Related issues 2 (0 open2 closed)

Related to Klever - Feature #7435: Support of several verifiers is requiredRejected07/29/2016

Actions
Blocked by Klever - Bug #6616: Remove enumerating of verifiers from native tasks worker configurationClosedIlja Zakharov01/29/2016

Actions
Actions #1

Updated by Ilja Zakharov almost 9 years ago

  • Priority changed from Normal to High
Actions #2

Updated by Evgeny Novikov about 8 years ago

  • Priority changed from High to Urgent

I suppose to do this at last since otherwise we have to have all features of a verifier in one its version.

Actions #3

Updated by Ilja Zakharov about 8 years ago

  • Status changed from New to Resolved

Done at branch 'scheduler_verifier_versions'.

Actions #4

Updated by Evgeny Novikov about 8 years ago

  • Status changed from Resolved to Closed

At last we have this! This feature was implemented with #6616, so see comments there.

Actions

Also available in: Atom PDF