diff options
Diffstat (limited to 'pytest.ini')
| -rw-r--r-- | pytest.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pytest.ini b/pytest.ini index 617881d77b..2a3152da3d 100644 --- a/pytest.ini +++ b/pytest.ini @@ -12,7 +12,7 @@ markers = requires_executables: tests that requires certain executables in PATH to run nomockstage: use a stage area specifically created for this test, instead of relying on a common mock stage enable_compiler_verification: enable compiler verification within unit tests - enable_compiler_link_paths: verifies compiler link paths within unit tests + enable_compiler_execution: enable compiler execution to detect link paths and libc 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 |