this one? https://trac.sagemath.org/ticket/30945
On Wed, Nov 25, 2020 at 12:59 PM Eric Gourgoulhon <[email protected]> wrote: > > > Le mercredi 25 novembre 2020 à 13:35:31 UTC+1, Sébastien Labbé a écrit : >> >> On Ubuntu 18.04, running tests with various optional and external packages, >> I get: >> >> Using >> --optional=4ti2,cbc,ccache,cryptominisat,database_jones_numfield,debian,dot2tex,e_antic,external,fricas,glucose,latte_int,libnauty,lidia,lrslib,memlimit,normaliz,notedown,pandoc_attributes,pip,pycosat,pynormaliz,rst2ipynb,sage,sage_numerical_backends_coin,sage_spkg >> ---------------------------------------------------------------------- >> sage -t --long --warn-long 56.3 --random-seed=0 >> src/sage/interfaces/singular.py # Killed due to segmentation fault >> ---------------------------------------------------------------------- >> External software detected for doctesting: >> ffmpeg,graphviz,imagemagick,internet,latex,octave,pandoc >> >> I can reproduce it when running the command: >> sage -t --long --warn-long 73.3 --random-seed=0 >> src/sage/interfaces/singular.py > > > I confirm the seg fault on Ubuntu 20.04 (Sage 9.3.beta2 built with the system > Python = 3.8.5, but with Sage's singular = 4.1.1p2). > On the same computer (Intel Core i7-8665U + 32 GB RAM), the issue is already > there with Sage 9.2, but not with Sage 9.1. > > Eric. > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-release/16154ebe-6c36-4527-812c-da25a299b0e8n%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/CAAWYfq240%2BefNHawMd%3DUStfqUVR6jHGzNcOLXUTQg3tM6iRung%40mail.gmail.com.
