But I don't understand
- why the py2 / py3 flag is not set correctly in --optional (it
should have been set by sage/doctest/control.py)
- what is this python2 appearing in --optional? where it is set?
Vincent
PS: without a decent "sage -t" I would not advice any developer
to switch to Python3 Sage...
Le 27/01/2019 à 18:10, Frédéric Chapoton a écrit :
ok, then --optional=sage,py3 is ok (all doctests pass) whereas
./sage -t --optional=sage,py2 src/sage/modular/cusps_nf.py
runs the py2 doctest and fail as expected
same thing for
./sage -t --optional=sage,py2,py3 src/sage/modular/cusps_nf.py
Le dimanche 27 janvier 2019 18:06:19 UTC+1, vdelecroix a écrit :
This should be
$ ./sage -t --optional=sage,py3 src/sage/modular/cusps_nf.py
ie don't forget "sage". Otherwise the doctest without # are
not run.
Le 27/01/2019 à 18:03, Frédéric Chapoton a écrit :
This clearly needs a cleanup. For example,
./sage -t --optional=py2 src/sage/modular/cusps_nf.py
./sage -t --optional=py3 src/sage/modular/cusps_nf.py
have unexpected effects (when tested using python3)
Le dimanche 27 janvier 2019 17:54:54 UTC+1, Frédéric Chapoton a écrit :
Good question. Needs to be checked
Le dimanche 27 janvier 2019 17:47:17 UTC+1, vdelecroix a écrit :
What about doctests marked # python2 / # python3?
Le 27/01/2019 à 17:46, Frédéric Chapoton a écrit :
Strange, but still this runs the correct python
./sage -t --long src/sage/categories/finite_posets.py # 15 doctests
failed
F
Le dimanche 27 janvier 2019 17:35:41 UTC+1, vdelecroix a écrit :
Hello,
I wanted to run some doctests with my Python 3 Sage installation.
However, running "sage -t" results in
Using --optional=dochtml,memlimit,mpir,python2,sage
ie, python2 is in the list. Is that expected? How should I
run the tests?
Vincent
--
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.
