search

mbeddr / mps-build-backends

Command-line utilities used e.g. by Gradle plugins to generate or check models.
Apache License 2.0
3 stars 4 forks source link

Adds support for module level test reporting #3

Closed wjglerum closed 2 years ago

wjglerum commented 2 years ago

First rough sketch for reporting module level errors

Fixes #1

wjglerum commented 2 years ago

Generated test report from before (notice that it does list the correct number of failures but not the correct number of tests):

<testsuite name="model checking" tests="0" errors="0" failures="1" time="0" timestamp="2022-10-26T15:51:51"
           hostname="localhost">
    <properties/>
    <system-out></system-out>
    <system-err></system-err>
</testsuite>

Generated test report afterwards:

<testsuite name="model checking" tests="1" errors="0" failures="1" time="0" timestamp="2022-10-26T15:57:54"
           hostname="localhost">
    <properties/>
    <testcase name="module" classname="my.solution.with.module.errors" time="0">
        <failure message="&#xa; Can't find dependency: my.solution.non.existing [my.solution.with.module.errors]"
                 type="model checking"/>
    </testcase>
    <system-out></system-out>
    <system-err></system-err>
</testsuite>
sergej-koscejev commented 2 years ago

Looks good, merging. Thanks!