Skip to content

Add support for TestCase annotation #43

Open

Description

@bilderbuchi

Would you consider adding support for the standardised TestCase annotation in scope?
This would enable testing packages like https://github.com/xogeny/XogenyTest, which uses those annotations in its test suite (although an old draft form, apparently), and would also allow other packages to use TestCase in their test suite (e.g. to define tests that should fail).

Activity

  1. casella commented on Sep 21, 2023

    @casella
    Collaborator

    Absolutely!

  2. AnHeuermann commented on Jan 16, 2026

    @AnHeuermann
    Member

    @casella my anser to TLK-Thermo/TILMediaClaRa#3 (comment):

    I think the test scripts need a function similar to getExperiment to get a list of models with TestCase and if they are expected to fail or pass. That needs to be added to the compiler itself. Afterwards the update of the test scripts are probably easy.
    I added a rough estimate within my planning project.

  3. casella commented on Jan 16, 2026

    @casella
    Collaborator

    I think the test scripts need a function similar to getExperiment to get a list of models with TestCase and if they are expected to fail or pass. That needs to be added to the compiler itself.

    @perost how do you see that?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Labels

No labels
No labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions