Re: [sage-devel] Re: Testing corner cases

2016-11-06 Thread Jori Mäntysalo
On Sun, 6 Nov 2016, Jakob Kroeker wrote: But, If you catched issues for non-corner cases, the challenge is often to find a minimal/simple failing example, which is often necessary for successful debugging. True, but I don't see any easy solution to this. As an example, about two years ago I

Re: [sage-devel] Re: Testing corner cases

2016-11-06 Thread Jakob Kroeker
> I would also add a crosstesting several functions with known identity. Good idea. >Well, my "trivialcase-tester" is just those few lines of code. But as you > can see from https://trac.sagemath.org/ticket/21741

Re: [sage-devel] Re: Testing corner cases

2016-10-31 Thread Jori Mäntysalo
On Mon, 31 Oct 2016, Jakob Kroeker wrote: So you have a mind of a tester? That's good to  know.  Well, my "trivialcase-tester" is just those few lines of code. But as you can see from https://trac.sagemath.org/ticket/21741 , it found quite many error from graphs. In matrices I did not found

[sage-devel] Re: Testing corner cases

2016-10-31 Thread Jakob Kroeker
@Jori Mäntysalo So you have a mind of a tester? That's good to know. In general I think it would be good to have a random testing framework together with a testbot in sage. I'm working on that in Singular and Macaulay2 and already catche