-
-
Notifications
You must be signed in to change notification settings - Fork 405
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Trac #24322: Use new-style GlobalOptions
The syntax {{{ options=GlobalOptions(... doc=""" EXAMPLES:: sage: #doctest here """ ) }}} has the unfortunate effect that the doctests are not actually seen as doctests. They are just a string, nothing more. Ticket #23238 was created to allow a new syntax for `GlobalOptions`, which makes the doctests actually doctests. This ticket uses the new syntax in all cases. This enables some doctests which were not tested before. As expected, this uncovered various failures. Some trivial ones are fixed, others are marked as `# known bug` with the following tickets opened: #24323, #24324, #24325. #24326 URL: https://trac.sagemath.org/24322 Reported by: jdemeyer Ticket author(s): Jeroen Demeyer Reviewer(s): Travis Scrimshaw
- Loading branch information
Showing
12 changed files
with
219 additions
and
217 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.