... | @@ -35,18 +35,18 @@ Within the tool, an overview of all commands can be requested with the command * |
... | @@ -35,18 +35,18 @@ Within the tool, an overview of all commands can be requested with the command * |
|
- No option is required.
|
|
- No option is required.
|
|
|
|
|
|
8. Set simulation to optimal number of runs (defined by given parameters): **set optimalruns**
|
|
8. Set simulation to optimal number of runs (defined by given parameters): **set optimalruns**
|
|
- No option is required.
|
|
- No option is required.
|
|
|
|
|
|
9. Enable / Disable printing the results of single simulation runs: **printresults on/off**
|
|
9. Enable / Disable printing the results of single simulation runs: **printresults on/off**
|
|
- No option is required.
|
|
- No option is required.
|
|
|
|
|
|
10. Print all simulation parameters and settings: **printparameters**
|
|
10. Print all simulation parameters and settings: **printparameters**
|
|
- No option is required.
|
|
- No option is required.
|
|
|
|
|
|
11. Store parameters and settings into the configuration file: **storeparameters**
|
|
11. Store parameters and settings into the configuration file: **storeparameters**
|
|
- No option is required.
|
|
- No option is required.
|
|
|
|
|
|
12. Load parameters and settings from configuration file: **loadparameters**
|
|
12. Load parameters and settings from configuration file: **loadparameters**
|
|
- No option is required.
|
|
- No option is required.
|
|
|
|
|
|
You can find a description for the [required model file](https://github.com/jannikhuels/libhpng/wiki/The-required-model-file) and the syntax of the [Model Checking properties](https://github.com/jannikhuels/libhpng/wiki/Model-checking-properties) in this section. |
|
You can find a description for the [required model file](https://github.com/jannikhuels/libhpng/wiki/The-required-model-file) and the syntax of the [Model Checking properties](https://github.com/jannikhuels/libhpng/wiki/Model-checking-properties) in this section. |
|
|
|
\ No newline at end of file |