Add new custom markers to unit tests (#33862)

* Add "only_clingo", "only_original" and "not_on_windows" markers

* Modify tests to use the "not_on_windows" marker

* Mark tests that run only with clingo

* Mark tests that run only with the original concretizer
This commit is contained in:
Massimiliano Culpo
2023-08-16 09:04:10 +02:00
committed by GitHub
parent b6ae751657
commit 47f176d635
83 changed files with 214 additions and 500 deletions

View File

@@ -14,3 +14,6 @@ markers =
enable_compiler_verification: enable compiler verification within unit tests
enable_compiler_link_paths: verifies compiler link paths within unit tests
disable_clean_stage_check: avoid failing tests if there are leftover files in the stage area
only_clingo: mark unit tests that run only with clingo
only_original: mark unit tests that are specific to the original concretizer
not_on_windows: mark tests that are skipped on Windows