From 47f176d635b1463a70514abb0685f68036403527 Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Wed, 16 Aug 2023 09:04:10 +0200 Subject: 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 --- pytest.ini | 3 +++ 1 file changed, 3 insertions(+) (limited to 'pytest.ini') 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 -- cgit v1.2.3-60-g2f50