Running make ptestlong with optional/external doctests, I get: Using --optional=bliss,cbc,ccache,cmake,cryptominisat,dot2tex,external,glucose,gmpy2,lrslib,memlimit,mpir,normaliz,notedown,pandoc_attributes,pycosat,pynormaliz,python2,rst2ipynb,sage External software detected for doctesting: ffmpeg,graphviz,gurobi,imagemagick,internet,latex,pandoc
---------------------------------------------------------------------- sage -t --long src/sage/tests/cmdline.py # 1 doctest failed sage -t --long src/sage/combinat/designs/ext_rep.py # 1 doctest failed sage -t --long src/sage/repl/load.py # 1 doctest failed sage -t --long src/sage/misc/persist.pyx # 2 doctests failed sage -t --long src/sage/sat/boolean_polynomials.py # 1 doctest failed ---------------------------------------------------------------------- New failures related to pandoc and cryptominisat are copied below. Otherwise, follow up at https://trac.sagemath.org/ticket/25536 sage -t --long src/sage/tests/cmdline.py ********************************************************************** File "src/sage/tests/cmdline.py", line 820, in sage.tests.cmdline.test_executable Failed example: print(open(output, 'r').read() == t) # optional - pandoc Expected: True Got: False ********************************************************************** 1 item had failures: 1 of 271 in sage.tests.cmdline.test_executable 3 gdb tests not run 4 kash tests not run 0 tests not run because we ran out of time [270 tests, 1 failure, 52.18 s] sage -t --long src/sage/sat/boolean_polynomials.py ********************************************************************** File "src/sage/sat/boolean_polynomials.py", line 89, 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, 93.25 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
