วันอาทิตย์ที่ 9 กรกฎาคม พ.ศ. 2560

[sage-devel] Re: What to do with the "Timed out" failures of patchbots?

I ran the same

for i in `seq 0 1000` ; do sage -t --long src/sage/graphs/matchpoly.pyx ; done

and most of the runs takes about 5 seconds but there are exceptionally long runs. A typical one of them is:


sage -t --long --warn-long 75.3 src/sage/graphs/matchpoly.pyx
    Timed out
**********************************************************************
Tests run before process (pid=6333) timed out:
sage: g = graphs.PetersenGraph() ## line 104 ##
sage: g.matching_polynomial() ## line 105 ##
x^10 - 15*x^8 + 75*x^6 - 145*x^4 + 90*x^2 - 6
sage: g.matching_polynomial(complement=False) ## line 107 ##
x^10 - 15*x^8 + 75*x^6 - 145*x^4 + 90*x^2 - 6
sage: g.matching_polynomial(name='tom') ## line 109 ##
tom^10 - 15*tom^8 + 75*tom^6 - 145*tom^4 + 90*tom^2 - 6
sage: g = Graph() ## line 111 ##
sage: L = [graphs.RandomGNP(8, .3) for i in range(1, 6)] ## line 112 ##
sage: prod([h.matching_polynomial() for h in L]) == sum(L, g).matching_polynomial()  # long time (up to 10s on sage.math, 2011) ## line 113 ##
True
sage: for i in range(1, 12):  # long time (10s on sage.math, 2011)
    for t in graphs.trees(i):
        if t.matching_polynomial() != t.characteristic_polynomial():
            raise RuntimeError('bug for a tree A of size {0}'.format(i))
        c = t.complement()
        if c.matching_polynomial(complement=False) != c.matching_polynomial():
            raise RuntimeError('bug for a tree B of size {0}'.format(i)) ## line 118 ##
------------------------------------------------------------------------
0   signals.so                          0x000000010268af85 print_backtrace + 37
------------------------------------------------------------------------

**********************************************************************
----------------------------------------------------------------------
sage -t --long --warn-long 75.3 src/sage/graphs/matchpoly.pyx  # Timed out
----------------------------------------------------------------------



--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

ไม่มีความคิดเห็น:

แสดงความคิดเห็น