Skip to content

On-the-fly suite generation#49

Merged
JFoederer merged 7 commits into
mainfrom
on-the-fly-suite-generation
May 15, 2026
Merged

On-the-fly suite generation#49
JFoederer merged 7 commits into
mainfrom
on-the-fly-suite-generation

Conversation

@JFoederer
Copy link
Copy Markdown
Owner

In preparation of more flexible trace generation, this pull request refactors how test cases are added to a test suite. Previously, the whole suite was generated at once and then started. Now, the model-based test suite is started with just a single test case and continues to add one test case at a time until the coverage is reached.

Robot skips any test suite automatically when it does not contain any tests, or all tests inside the suite have the skip tag.
Refinement could be entered unintended due to the expression `... and expr in step.model_info['OUT']`. This check would pass when processing an in-condition that has an identical counterpart as out-condition.
@JFoederer JFoederer merged commit ec36d21 into main May 15, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant