From f8ee9963875bf0efc1284f0c95cd4249629aa947 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergej=20Ko=C5=A1=C4=8Dejev?= Date: Tue, 22 Oct 2024 14:52:44 +0200 Subject: [PATCH] Document junitFormat --- docs/plugins/modelcheck.md | 15 +++++++++------ docs/tasks/MpsCheck.md | 10 +++++++++- 2 files changed, 18 insertions(+), 7 deletions(-) diff --git a/docs/plugins/modelcheck.md b/docs/plugins/modelcheck.md index 15e3d9d4..3b1024c0 100644 --- a/docs/plugins/modelcheck.md +++ b/docs/plugins/modelcheck.md @@ -61,12 +61,15 @@ Parameters: the build. * `junitFile` - allows storing the results of the model check as a JUnit XML file. By default, the file will contain one testcase for each model that was checked (s. `junitFormat`). -* `junitFormat` - allows to change the format of the JUnit XML file, how the model checking errors will be reported. Possible options: - * `model` (default) - generates one testcase for each model that was checked. If the model check reported any error for the model, - the testcase will fail and the message of the model checking error will be reported. - * `message` - generates one testcase for each model check error. For uniqueness reasons, the name of the testcase will reflect the specific - model check error and the name of the test class will be constructed from the checked node ID and its containing root node. - Full error message and the node URL will be reported in the testcase failure. Checked models will be mapped to test suites with this option. +* `junitFormat` - specifies how errors are reported in the JUnit XML file. Possible options: + * `model` (default, deprecated) - generates one test case for each model that was checked. If the model check reported + any error for the model, the test case will contain a failure with the error message. + * `module-and-model` (preferred) - generates one test case for each module and model that was checked. If the model + check reported any error for the model or module, the test case will contain a failure with the error message. + * `message` - generates one testcase for each model check error. For uniqueness reasons, the name of the testcase will + reflect the specific model check error and the name of the test class will be constructed from the checked node ID + and its containing root node. Full error message and the node URL will be reported in the testcase failure. Checked + models will be mapped to test suites with this option. * `parallel` (since 1.20) - runs model checker in parallel mode. Supported in MPS 2021.3.4. Default is `false`. * `maxHeap` - maximum heap size setting for the JVM that executes the model checker. This is useful to limit the heap usage in scenarios like containerized build agents where the OS reported memory limit is not the maximum diff --git a/docs/tasks/MpsCheck.md b/docs/tasks/MpsCheck.md index 1d76e736..26df2909 100644 --- a/docs/tasks/MpsCheck.md +++ b/docs/tasks/MpsCheck.md @@ -37,7 +37,15 @@ Parameters: * `varMacros` - non-path variables/macros that are necessary to open the project. Variable macros *are* considered part of Gradle build cache key. * `junitFile` - the JUnit XML file to produce. Defaults to `$buildDir/TEST-${task.name}.xml` -* `junitFormat` - the format of the JUnit XML file. Defaults to `module-and-model`. +* `junitFormat` - specifies how errors are reported in the JUnit XML file. Possible options: + * `model` (default, deprecated) - generates one test case for each model that was checked. If the model check reported + any error for the model, the test case will contain a failure with the error message. + * `module-and-model` (preferred) - generates one test case for each module and model that was checked. If the model + check reported any error for the model or module, the test case will contain a failure with the error message. + * `message` - generates one testcase for each model check error. For uniqueness reasons, the name of the testcase will + reflect the specific model check error and the name of the test class will be constructed from the checked node ID + and its containing root node. Full error message and the node URL will be reported in the testcase failure. Checked + models will be mapped to test suites with this option. * `parallel` (since 1.20) - runs model checker in parallel mode. Supported in MPS 2021.3.4. Default is `false`. * `mpsHome` - the home directory of the MPS distribution (or RCP) to use for testing. * `mpsVersion` - the MPS version, such as "2021.3". Autodetected by reading `$mpsHome/build.properties` by default.