Re: Is Aunit helpful?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Sat, 14 Aug 2010 08:57:04 +0200, Stephen Leake  
<stephen_leake@stephe-leake.org> a écrit:
> The test documents how the package is intended to be used, and helps
> focus the development process.
As you talked about “to document” this makes me think about another topic:  
I will check if there is a way to have merged in package documentation,  
like something “with this argument this should return this or do that”.  
Finally, these test cases match something normative or at least may  
complete this normative part.


-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.