I reported several bugs about Graph.vertices() and have the impression that sage devs are aware of the problem and don't want bug reports about this.
I have another testcase not related to vertices(), should I report it? -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAGUWgD9Ynqi2ddLrd%3Ds9JtUGV34DG%2BGyfLmp5sa-L-dHMDKMJw%40mail.gmail.com.