Project

General

Profile

Feature #10116

command line option to check if solvers\model checkers that are used are installed properly

Added by Sergey Smolov 11 months ago. Updated 11 months ago.

Status:
Resolved
Priority:
Normal
Assignee:
Category:
UI
Target version:
Start date:
02/12/2020
Due date:
% Done:

100%

Estimated time:
Published in build:

Description

If the component (SMT solver, model checker, Python interpreter, etc.) is installed properly, print it's version.
If not, print warning.

Associated revisions

Revision a25c291b (diff)
Added by Sergey Smolov 11 months ago

'--check' cmdline option (#10116)

The commit includes the following changes:
- '--check' cmdline option to understand
whether Retrascope dependencies are
properly installed or not;
- external tools are supposed to be set
in Retrascope via env variables only.

Signed-off-by: Sergey Smolov <>

Revision 20ad0064 (diff)
Added by Sergey Smolov 11 months ago

Retrascope: fix dep tools checking (#10116)

Signed-off-by: Sergey Smolov <>

History

#1

Updated by Sergey Smolov 11 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved

'--check' command line option is implemented

Also available in: Atom PDF