Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Safeguard all features against TC dummy runs #7

Open
simulacrum6 opened this issue Apr 1, 2019 · 0 comments
Open

Safeguard all features against TC dummy runs #7

simulacrum6 opened this issue Apr 1, 2019 · 0 comments
Labels
optional package:difficulty de.unidue.ltl.ctest.difficulty

Comments

@simulacrum6
Copy link
Collaborator

In the current TC Version (1.1.0), a test run is executed before the actual run. This causes problems for features that require Gap Annotation Types to be present. These features need to implement guards against the test run.
4fedc1e implements this for some features.

A corresponding unit test should be added to ensure that all features are compatible with the current TC Version.

@simulacrum6 simulacrum6 added package:difficulty de.unidue.ltl.ctest.difficulty optional labels Apr 1, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
optional package:difficulty de.unidue.ltl.ctest.difficulty
Projects
None yet
Development

No branches or pull requests

1 participant