Project

General

Profile

Feature #10116

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

Added by Sergey Smolov 6 months ago. Updated 6 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 6 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 6 months ago

Retrascope: fix dep tools checking (#10116)

Signed-off-by: Sergey Smolov <>

History

#1

Updated by Sergey Smolov 6 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