Ticket #43 (closed defect: fixed)
Update the test suite manual
| Reported by: | ivan.zapreev | Owned by: | ivan.zapreev |
|---|---|---|---|
| Priority: | minor | Milestone: | MRMC v.1.4.1 |
| Component: | MRMC manual | Version: | 1.4 |
| Keywords: | Test suite manual update | Cc: | christinajansen, nguyen |
Description (last modified by ivan.zapreev) (diff)
In the test suite manual we did not fix the new MRMC command line parameters. Like we switched from specifying temporal logic to specifying the input model type, e.g. "pctl" became "dtmc" and etc. This has to be fixed, specifically for descriptions of lumping-performance tests and may be in other places of the manual.
Also we need to add/extend description of the tests for the simulation engine. There is this one new feature that allows to have the same processing scripts for different MRMC runs, with different command line options. See e.g.: test/performance_tests/simulations/ctmc/cps/inputs/cps05 where we have mrmc_h_h_a, mrmc_h_h_c and etc all handled by test/performance_tests/simulations/scripts/shell/extract_data/mrmc.*.sh and test/performance_tests/simulations/scripts/shell/invoke_tools/mrmc.invocation.sh scripts.
