From 1ada49c6176af28cc99664c79cae1a8a3f85a6f8 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Sat, 27 Jan 2024 21:57:25 -0800 Subject: [PATCH] src/sage/doctest/parsing.py: Fix handling of '--probe all' --- src/sage/doctest/parsing.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/sage/doctest/parsing.py b/src/sage/doctest/parsing.py index 3e5b0a98975..d14cdb5bd47 100644 --- a/src/sage/doctest/parsing.py +++ b/src/sage/doctest/parsing.py @@ -877,7 +877,7 @@ class SageDocTestParser(doctest.DocTestParser): optional_tags: Union[bool, set[str]] optional_only: bool optionals: dict[str, int] - probed_tags: set[str] + probed_tags: Union[bool, set[str]] def __init__(self, optional_tags=(), long=False, *, probed_tags=(), file_optional_tags=()): r""" @@ -916,7 +916,10 @@ def __init__(self, optional_tags=(), long=False, *, probed_tags=(), file_optiona self.optional_tags.remove('sage') else: self.optional_only = True - self.probed_tags = set(probed_tags) + if probed_tags is True: + self.probed_tags = True + else: + self.probed_tags = set(probed_tags) self.file_optional_tags = set(file_optional_tags) def __eq__(self, other):