Task #5249: [basis] Настройка Retrascope для работы с SMT-решателями - Retrascope - Open-Source Projects

Task #5249

[basis] Настройка Retrascope для работы с SMT-решателями

Added by Sergey Smolov about 6 years ago. Updated almost 6 years ago.

Status:

Closed

Priority:

High

Assignee:

Alexander Kamkin

Category:

Target version:

0.1

Start date:

09/04/2014

Due date:

% Done:

Estimated time:

Detected in build:

svn

Published in build:

Description

Для корректного взаимодействия с SMT-решателями через библиотеку Fortress необходимо в инструменте Retrascope определять путь к исполняемому файлу (Environment.setSolverPath(String path)).

Такую настройку нужно однократно проделывать при каждом запуске Retrascope.