Le 07/03/2013 18:12, Jeroen Demeyer a écrit :
On 2013-03-07 18:08, Julien Puydt wrote:sage -t --long -force_lib devel/sage/sage/interfaces/psage.py ********************************************************************** File "/home/jpuydt/sage-5.7/devel/sage/sage/interfaces/psage.py", line 37: sage: print "ignore this"; w # long time, random output Exception raised: Traceback (most recent call last): File "/home/jpuydt/sage-5.7/local/bin/ncadoctest.py", line 1231, in run_one_test self.run_one_example(test, example, filename, compileflags) File "/home/jpuydt/sage-5.7/local/bin/sagedoctest.py", line 38, in run_one_example OrigDocTestRunner.run_one_example(self, test, example, filename, compileflags) File "/home/jpuydt/sage-5.7/local/bin/ncadoctest.py", line 1172, in run_one_example compileflags, 1) in test.globs File "<doctest __main__.example_0[5]>", line 1, in<module> print "ignore this"; w # long time, random output###line 37: sage: print "ignore this"; w # long time, random output File "/home/jpuydt/sage-5.7/local/lib/python/site-packages/sage/misc/displayhook.py", line 190, in __call__ self.oldhook(obj) File "/home/jpuydt/sage-5.7/local/lib/python/site-packages/sage/interfaces/interface.py", line 880, in __repr__ s = s.replace(self._name, self.__dict__['__custom_name']) KeyError: '__custom_name' **********************************************************************This is a test which sometimes fails. Is it reproducible on ARM?
Ah, I had run the test a few times and it was always failing, but this evening, I saw it pass, and several times too!
I would say there's something fishy in that code if it's that sensitive... Snark on #sagemath -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
