On osx 10.10, make ptestlong gives: All test passed!
On Ubuntu 16.04, make ptestlong gives
----------------------------------------------------------------------
sage -t --long --warn-long 61.1 src/sage/sat/boolean_polynomials.py # 1
doctest failed
----------------------------------------------------------------------
The error is:
sage -t --long --warn-long 61.1 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:
c [consolidate] T: 0.00
c Found matrixes: 0 T: 0.00 T-out: N
**********************************************************************
1 item had failures:
1 of 22 in sage.sat.boolean_polynomials.solve
[27 tests, 1 failure, 0.79 s]
I can't reproduce it.
--
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.
