diff options
Diffstat (limited to 'pytest.ini')
-rw-r--r-- | pytest.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pytest.ini b/pytest.ini index 9f6157c9b8..617881d77b 100644 --- a/pytest.ini +++ b/pytest.ini @@ -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 |