Actions
Bug #9528
closedWhy3: Sprove: позволять указывать стратегии аргументом командной строки
Start date:
03/12/2019
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
Сейчас стратегии могут считываться только из конфигурационного файла Why3. Сделать возможность задавать стратегию через аргумент командной строки.
Updated by Denis Efremov about 5 years ago
- Status changed from New to Closed
Делается через extra-config.
Actions