Hi Ralf, Looks interesting - I was doing something similar in the aldor code base, but haven't got very far.. The idea was that the SpadUnit type (or Assert, as it is known in the aldor library) would have conditionals to include things like assertNotZero, assertGreaterThan',etc as the target type allowed.
I think my next extension would be something that would collect errors, rather than throwing an immediate exception (no time to work on it at the moment though). Anyways, the unit approach seems to be less fragile than the output comparison stuff. Peter On 18 January 2015 at 20:38, Ralf Hemmecke <[email protected]> wrote: > I'm currently working on a testing framework for PanAxiom. > > It's basically already working, so I'd like to get feedback, feature > requests etc. > > https://github.com/hemmecke/spadunit > > Ralf > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
