From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Is Aunit helpful?
Date: Fri, 13 Aug 2010 16:09:34 +0200
Date: 2010-08-13T16:09:34+02:00 [thread overview]
Message-ID: <op.vhdqx8jfule2fv@garhos> (raw)
In-Reply-To: 20100805211820.52c18cb5.tero.koskinen@iki.fi
Le Thu, 05 Aug 2010 20:18:20 +0200, Tero Koskinen <tero.koskinen@iki.fi> a
écrit:
> http://www.adacommons.org/AUnit_Calculator_Example
Seems there is a tiny error there:
“Assert (Calc.Sum (2, 3) = 5, "test 2 +5 = 5");”
instead of
“Assert (Calc.Sum (2, 3) = 5, "test 2 + 3 = 5");”
--
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.
next prev parent reply other threads:[~2010-08-13 14:09 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-04 14:19 Is Aunit helpful? Ada novice
2010-08-05 12:07 ` Stephen Leake
2010-08-05 17:29 ` Ada novice
2010-08-05 18:18 ` Tero Koskinen
2010-08-05 20:39 ` Ada novice
2010-08-05 20:57 ` Simon Wright
2010-08-13 16:43 ` Yannick Duchêne (Hibou57)
2010-08-13 19:34 ` Simon Wright
2010-08-13 20:59 ` Yannick Duchêne (Hibou57)
2010-08-14 6:57 ` Stephen Leake
2010-08-14 13:38 ` Yannick Duchêne (Hibou57)
2010-08-14 21:33 ` Midoan
2010-08-14 21:38 ` Yannick Duchêne (Hibou57)
2010-08-14 21:49 ` Simon Wright
2010-08-14 22:04 ` Yannick Duchêne (Hibou57)
2010-08-15 7:57 ` Midoan
2010-08-15 11:46 ` Simon Wright
2010-08-15 12:10 ` Stephen Leake
2010-08-15 21:47 ` Midoan
2010-08-15 22:58 ` Yannick Duchêne (Hibou57)
2010-08-17 2:46 ` Randy Brukardt
2010-08-17 12:37 ` Cyrille
2010-08-20 9:22 ` Yannick Duchêne (Hibou57)
2010-08-20 9:20 ` Yannick Duchêne (Hibou57)
2010-08-16 7:59 ` Stephen Leake
2010-08-16 9:02 ` Midoan
2010-08-26 17:45 ` Colin Paul Gloster
2010-08-07 16:57 ` Marco
2010-08-13 14:09 ` Yannick Duchêne (Hibou57) [this message]
2010-08-05 20:48 ` Simon Wright
2010-08-06 9:06 ` Ada novice
2010-08-06 16:51 ` Simon Wright
2010-08-06 18:13 ` Ada novice
2010-08-08 13:39 ` John McCormick
2010-08-08 17:10 ` Ada novice
2010-08-09 17:05 ` John McCormick
2010-08-09 17:23 ` Michael R
2010-08-10 8:33 ` Ada novice
2010-08-10 13:48 ` John McCormick
2010-08-10 9:45 ` Mark Lorenzen
2010-08-10 14:07 ` John McCormick
2010-08-10 17:32 ` Ada novice
2010-08-12 15:04 ` John McCormick
2010-08-17 15:51 ` Ada novice
2010-08-13 15:31 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox