Bonjour,
I just noticed that providing a log file to the `sage -t` command is
currently broken with the most recent version:
$ sage -v
SageMath version 9.5.beta5, Release Date: 2021-10-28
$ sage -t src/sage/rings/integer.pyx
sage -t --random-seed=71352052423083427285276605183088217936
src/sage/rings/integer.pyx
[1145 tests, 3.32 s]
----------------------------------------------------------------------
All tests passed!
----------------------------------------------------------------------
$ sage -t src/sage/rings/integer.pyx --log=a.log
Traceback (most recent call last):
File "/home/slabbe/GitBox/sage/src/bin/sage-runtests", line 151, in
<module>
err = DC.run()
File
"/home/slabbe/GitBox/sage/local/lib/python3.8/site-packages/sage/doctest/control.py",
line 1251, in run
self.expand_files_into_sources()
File
"/home/slabbe/GitBox/sage/local/lib/python3.8/site-packages/sage/doctest/control.py",
line 835, in expand_files_into_sources
self.sources = [FileDocTestSource(path, self.options) for path in
expand()]
File
"/home/slabbe/GitBox/sage/local/lib/python3.8/site-packages/sage/doctest/control.py",
line 835, in <listcomp>
self.sources = [FileDocTestSource(path, self.options) for path in
expand()]
File
"/home/slabbe/GitBox/sage/local/lib/python3.8/site-packages/sage/doctest/sources.py",
line 527, in __init__
raise ValueError("unknown file extension %r"%ext)
ValueError: unknown file extension '.log'
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/32b31d4a-d3f4-4900-a232-9a17aaa42239n%40googlegroups.com.
