Opened 4 years ago

Closed 4 years ago

#23351 closed defect (fixed)

Random failure in a cryptominisat optional doctest in boolean_polynomials.solve

Reported by: slabbe Owned by:
Priority: major Milestone: sage-8.0
Component: doctest coverage Keywords:
Cc: Merged in:
Authors: Thierry Monteil Reviewers: Jeroen Demeyer
Report Upstream: N/A Work issues:
Branch: 1ee034f (Commits, GitHub, GitLab) Commit: 1ee034f624b04854acb1abb69f1deefdd1b2e871
Dependencies: Stopgaps:

Status badges


With sage-8.0.rc0 and cryptominisat installed since #22818, on Ubuntu 16.04 with 8 cpus, make ptestlong gives:

sage -t --long --warn-long 61.4 src/sage/sat/
File "src/sage/sat/", 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
    c --> ...
    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.72 s]

I get All tests passed when run separately.

Change History (4)

comment:1 Changed 4 years ago by tmonteil

  • Branch set to u/tmonteil/random_failure_in_a_cryptominisat_optional_doctest_in_boolean_polynomials_solve

comment:2 Changed 4 years ago by tmonteil

  • Authors set to Thierry Monteil
  • Commit set to 1ee034f624b04854acb1abb69f1deefdd1b2e871
  • Status changed from new to needs_review

New commits:

1ee034f#23351 : more permissive doctest.

comment:3 Changed 4 years ago by jdemeyer

  • Component changed from packages: optional to doctest coverage
  • Reviewers set to Jeroen Demeyer
  • Status changed from needs_review to positive_review

comment:4 Changed 4 years ago by vbraun

  • Branch changed from u/tmonteil/random_failure_in_a_cryptominisat_optional_doctest_in_boolean_polynomials_solve to 1ee034f624b04854acb1abb69f1deefdd1b2e871
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.