Actions
Task #5249
closed[basis] Настройка Retrascope для работы с SMT-решателями
Start date:
09/04/2014
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
Для корректного взаимодействия с SMT-решателями через библиотеку Fortress необходимо в инструменте Retrascope определять путь к исполняемому файлу (Environment.setSolverPath(String path)).
Такую настройку нужно однократно проделывать при каждом запуске Retrascope.
Updated by Sergey Smolov about 10 years ago
- Priority changed from Normal to High
Updated by Sergey Smolov about 10 years ago
Временную заплатку поставил в метод main класса Retrascope.
Updated by Alexander Kamkin about 10 years ago
- Status changed from New to Resolved
Updated by Alexander Kamkin about 10 years ago
- Status changed from Resolved to Closed
Actions