Actions
Feature #10116
closedcommand line option to check if solvers\model checkers that are used are installed properly
Start date:
02/12/2020
Due date:
% Done:
100%
Estimated time:
Published in build:
1.1.3-beta-230504
Description
If the component (SMT solver, model checker, Python interpreter, etc.) is installed properly, print it's version.
If not, print warning.
Actions