command line option to check if solvers\model checkers that are used are installed properly
Published in build:
If the component (SMT solver, model checker, Python interpreter, etc.) is installed properly, print it's version.
If not, print warning.
Updated by Sergey Smolov about 3 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
'--check' command line option is implemented