Project

General

Profile

Actions
Copy link

Feature #6699

closed

Native scheduler does not take care of verifier version

Added by Ilja Zakharov over 8 years ago. Updated over 7 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
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 open — 2 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
Copy link
 #1

Updated by Ilja Zakharov over 8 years ago

  • Priority changed from Normal to High
Actions
Copy link
 #2

Updated by Evgeny Novikov almost 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
Copy link
 #3

Updated by Ilja Zakharov over 7 years ago

  • Status changed from New to Resolved

Done at branch 'scheduler_verifier_versions'.

Actions
Copy link
 #4

Updated by Evgeny Novikov over 7 years ago

  • Status changed from Resolved to Closed

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

Actions
Copy link

Also available in: Atom PDF