Updated Shell commands (markdown) authored by Dr. Carina da Silva's avatar Dr. Carina da Silva
...@@ -21,8 +21,17 @@ Within the tool, an overview of all commands can be requested with the command * ...@@ -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_** 6. Change a simulation parameter: **change _parametername_**
- _parametername_ can be: - _parametername_ can be:
+ halfintervalwidth + **halfintervalwidth**: half width of the confidence interval
+ halfwidthindifferenceregion + **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. 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