Task #5249
[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.
History
Updated by Sergey Smolov about 6 years ago
Временную заплатку поставил в метод main класса Retrascope.