Indeed, it seems that the test is not actually being run.
I modified it as follows, and it is still not reported:
####################
sage: def f(pi):
....: print("hi")
....: return pi.saliances()[0]
sage: r = findstat(Permutations, lambda pi: f(pi)); r #
optional -- internet, random
...
... (St000051: The size of the left subtree. , [Mp00069: complement,
Mp00061: to increasing tree], 24)
...
####################
Am Mittwoch, 26. September 2018 16:44:57 UTC+2 schrieb Martin R:
>
> martin@convex63:~/sage-master$ cat VERSION.txt
> SageMath version 8.3, Release Date: 2018-08-03
>
> martin@convex63:~/sage-master$ ./sage -tp --long
> --optional=sage,optional,external,internet src/sage/databases/findstat.py
> too many failed tests, not using stored timings
> Running doctests with ID 2018-09-26-16-42-26-b9dfb6fa.
> Git branch: master
> Using --optional=external,gfortran,internet,mpir,python2,sage
> External software to be detected:
> cplex,ffmpeg,graphviz,gurobi,imagemagick,internet,latex,macaulay2,magma,maple,mathematica,matlab,octave,pandoc,scilab
> Doctesting 1 file using 4 threads.
> sage -t --long src/sage/databases/findstat.py
> [247 tests, 74.82 s]
> ----------------------------------------------------------------------
> All tests passed!
> ----------------------------------------------------------------------
> Total time for all tests: 74.9 seconds
> cpu time: 9.5 seconds
> cumulative wall time: 74.8 seconds
> External software detected for doctesting:
>
>
> Am Mittwoch, 26. September 2018 15:07:34 UTC+2 schrieb Jeroen Demeyer:
>>
>> On 2018-09-26 13:03, 'Martin R' via sage-devel wrote:
>> > and all tests pass.
>>
>> Which command are you using to run the tests? Something might have
>> changed there.
>>
>
--
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
