![]() |
Selecting Options |
![]() |
AProVE Help System → User Interface → Graphical User Interface → | Selecting Options |
├ Automatic | |
├ User Defined | |
└ Liveness |
Each mode supports some input types. In case no input file is open or the Batch mode is active one can first switch to any input type in the Type combobox(1), and afterwards configure the settings(2) for the chosen input type.
For one singleton input file(3) the only difference to the Batch mode is that the input type(4) is determined and no longer switchable.
The type of an input is not determined by the file-extension but by its structure (i.e., it could happen that a TRS input-file is recognized as an SRS because the TRS only has unary function symbols and constants).
The time limit for a complete prover process is selectable if the Time Limit checkbox is active, otherwiese no time limit will stop the prover.