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.
Description
Currently it ignores requested verification tool version which is given within a verification task description.
- Priority changed from Normal to High
- 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.
- Status changed from New to Resolved
Done at branch 'scheduler_verifier_versions'.
- Status changed from Resolved to Closed
At last we have this! This feature was implemented with #6616, so see comments there.
Also available in: Atom
PDF