Using Ubuntu 18.04, trying to test with optional + external packages, I 
still get the tests to stop at half of the execution, and I still don't 
know why.

The exact command I run is:

./sage -t -p --all --long --optional=sage,optional,external --show-skipped 
--logfile=logs/ptestallshowskipped.log

I obtain:

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 70.0 --random-seed=0 
src/sage/sat/boolean_polynomials.py
**********************************************************************
File "src/sage/sat/boolean_polynomials.py", line 86, in 
sage.sat.boolean_polynomials.solve
Failed example:
    s = solve_sat(F, s_verbosity=1, c_max_vars_sparse=4, 
c_cutting_number=8) # optional - cryptominisat
Expected:
    c ...
    ...
Got:
    <BLANKLINE>
Killing test src/sage/sat/boolean_polynomials.py
Killing test src/sage/quadratic_forms/quadratic_form__neighbors.py
Killing test src/sage/interfaces/octave.py
Killing test src/sage/interfaces/fricas.py
Killing test src/sage/doctest/external.py
Killing test src/sage/categories/r_trivial_semigroups.py
----------------------------------------------------------------------
sage -t --long --warn-long 70.0 --random-seed=0 
src/doc/en/constructions/interface_issues.rst  # 1 doctest failed
sage -t --long --warn-long 70.0 --random-seed=0 
src/sage/databases/findstat.py  # 2 doctests failed
sage -t --long --warn-long 70.0 --random-seed=0 
src/sage/lfunctions/sympow.py  # 4 doctests failed
sage -t --long --warn-long 70.0 --random-seed=0 
src/sage/schemes/elliptic_curves/ell_rational_field.py  # 2 doctests failed
Doctests interrupted: 2295/4211 files tested
----------------------------------------------------------------------
Total time for all tests: 1882.0 seconds
    cpu time: 12995.1 seconds
    cumulative wall time: 14651.3 seconds


The above failures obtained before interruption are already reported at 
https://trac.sagemath.org/ticket/25536

-- 
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/0040d9d8-08a1-42d5-b8c2-11c590a3dd1an%40googlegroups.com.

Reply via email to