Actions
Feature #6699
closedNative scheduler does not take care of verifier 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.
Updated by Ilja Zakharov almost 9 years ago
- Priority changed from Normal to High
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.
Updated by Ilja Zakharov about 8 years ago
- Status changed from New to Resolved
Done at branch 'scheduler_verifier_versions'.
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