Actions
Bug #5562
openFix ignorance of additional CPAchecker options in CPAcloud
Start date:
01/19/2015
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
Current version of LDV Tools ignores environment variable with additional options when it sends tasks to CPA cloud web-interface.
Updated by Ilja Zakharov almost 10 years ago
Fix the bug in fix_5562 branch. Hope it is ready for merge in master.
Updated by Evgeny Novikov almost 10 years ago
- Category set to CPAchecker
- Status changed from New to Resolved
Merged to master in 6d658eb. Wait for tests will pass and close the issue.
Actions