Project

General

Profile

Feature #10116

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

Added by Sergey Smolov about 1 year ago. Updated about 1 year 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.

#1

Updated by Sergey Smolov about 1 year ago

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

'--check' command line option is implemented

Also available in: Atom PDF