... | ... | @@ -20,8 +20,9 @@ Within the tool, an overview of all commands can be requested with the command * |
|
|
- Mandatory option **--n** _path_: String containing the new file path for the log file.
|
|
|
|
|
|
6. Change a simulation parameter: **change _parametername_**
|
|
|
- _parametername_ can be: * halfintervalwidth *
|
|
|
* halfwidthindifferenceregion *
|
|
|
- _parametername_ can be:
|
|
|
+ halfintervalwidth
|
|
|
+ halfwidthindifferenceregion *
|
|
|
|
|
|
|
|
|
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 |