@@ -21,8 +21,17 @@ Within the tool, an overview of all commands can be requested with the command *
6. Change a simulation parameter: **change _parametername_**
- _parametername_ can be:
+ halfintervalwidth
+ halfwidthindifferenceregion
+**halfintervalwidth**: half width of the confidence interval
+**halfwidthindifferenceregion**: half width of the indifference region (hypothesis test)
+**confidencelevel**: confidence level of confidence interval
+**type1error**: type-1-error of the hypothesis test
+**type2error**: type-2-error of the hypothesis test
+**fixedruns**: number of runs for simulation (used if set to fixed number)
+**minruns**: minimum number of runs
+**maxruns**: maximum number of runs
- Mandatory option: **--n** _newvalue_: Number or decimal with the new parameter value.
7. Set simulation to fixed number of runs:
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.
