From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,def4a6a719b094c4,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nx02.iad01.newshosting.com!newshosting.com!69.16.185.16.MISMATCH!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Alexander Senier <mail@senier.net>
Newsgroups: comp.lang.ada
Subject: ANN: SPARKUnit
Date: Thu, 30 Sep 2010 22:46:04 +0200
Organization: A noiseless patient Spider
Message-ID: <20100930224604.2f029b27@t60>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 30 Sep 2010 20:46:04 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="hgseNTinQUJ5sqy98WiAlQ";
	logging-data="5481"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18CxuPSj76Lv7c7yQG5rh6u"
X-Newsreader: Claws Mail 3.7.4 (GTK+ 2.20.1; x86_64-pc-linux-gnu)
Cancel-Lock: sha1:FG65Oezl3GkyXOuNAEd/u95BD3I=
Xref: g2news1.google.com comp.lang.ada:14339
Date: 2010-09-30T22:46:04+02:00
List-Id: <comp.lang.ada>


Beware of bugs in the above code;
I have only proved it correct, not tried it.
(Donald E. Knuth)

Hi All,

I'm proud to announce the release of SPARKUnit version 0.1.0.

SPARKUnit is a unit test framework for the SPARK programming language.
It enables the developer to create unit tests in SPARK which can be
analysed by the SPARK Examiner. This allows for testing of SPARK
operations with preconditions and flow analysis of test cases.

Source code, license and further information is available from

   http://senier.net/SPARKUnit

The main design goal of SPARKUnit was to make unit testing in SPARK as
simple and flexible as possible and to avoid introduction of additional
verification overhead. Consequently, no preconditions must be
established to use SPARKUnit primitives and some errors (like
out-of-memory) will not be detected before running the test harness.
For the SPARKUnit library itself "only" absence of run-time errors has
been proven.

Regards,
Alex