Testing various optional and external packages, I get Using --optional=4ti2,cbc,ccache,cryptominisat,dot2tex,e_antic,external,fricas,glucose,latte_int,lidia,lrslib,memlimit,normaliz,notedown,openssl,pandoc_attributes,pycosat,pynormaliz,rst2ipynb,sage,sage_numerical_backends_coin,sage_numerical_backends_cplex,sage_numerical_backends_gurobi
---------------------------------------------------------------------- sage -t --long src/sage/databases/findstat.py # 17 doctests failed sage -t --long src/sage/databases/oeis.py # 1 doctest failed sage -t --long src/sage/geometry/polyhedron/base.py # Bad exit: 1 sage -t --long src/sage/graphs/generators/smallgraphs.py # 2 doctests failed sage -t --long src/sage/sat/boolean_polynomials.py # 1 doctest failed ---------------------------------------------------------------------- External software detected for doctesting: cplex,ffmpeg,graphviz,imagemagick,internet,latex,pandoc The boolean_polynomial failure (seen before, copied below) does not reappear on a second run: ---------------------------------------------------------------------- sage -t --long src/sage/databases/findstat.py # 17 doctests failed sage -t --long src/sage/databases/oeis.py # 1 doctest failed sage -t --long src/sage/geometry/polyhedron/base.py # Bad exit: 1 sage -t --long src/sage/graphs/generators/smallgraphs.py # Killed due to abort ---------------------------------------------------------------------- External software detected for doctesting: internet Follow up at https://trac.sagemath.org/ticket/25536 sage -t --long 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> ********************************************************************** 1 item had failures: 1 of 41 in sage.sat.boolean_polynomials.solve 0 tests not run because we ran out of time [46 tests, 1 failure, 182.57 s] -- 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 sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/3d3f8f4f-2949-4157-b462-cbc2b3630b52%40googlegroups.com.
