Actions
Feature #9507
closedUpdate VerifierCloud scheduler to the recent API
Start date:
02/27/2019
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
VerifierCloud scheduler does not work with the most recent webclient python library (used on a user side). I tested revision 30112 from trunk. Seems that they now use file caching and require to calculate file hashes to send tasks to server.
However, it works with the old library from trunk:27946.
Updated by Evgeny Novikov over 5 years ago
- Blocked by Feature #9567: Update BenchExec added
Updated by Ilja Zakharov almost 5 years ago
- Status changed from New to Resolved
Implemented in verifiercloud-fix.
Updated by Evgeny Novikov almost 5 years ago
- Status changed from Resolved to Closed
The branch passed tests and it was merged to master in cd94e9e95.
Actions