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.3 required=5.0 tests=BAYES_00,XPRIO,
	XPRIO_SHORT_SUBJ autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a37b80c4b5cba675,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-05-09 12:11:08 PST
Path: 
 newsfeed.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!logbridge.uoregon.edu!news.huji.ac.il!not-for-mail
From: "Ehud Lamm" <mslamm@mscc.huji.ac.il>
Newsgroups: comp.lang.ada
Subject: AUnit
Date: Wed, 9 May 2001 21:56:58 +0300
Organization: The Hebrew University of Jerusalem
Message-ID: <9dc49u$9fj$1@news.huji.ac.il>
NNTP-Posting-Host: di3-56.dialin.huji.ac.il
X-Trace: news.huji.ac.il 989435007 9715 132.64.13.56 (9 May 2001 19:03:27 GMT)
X-Complaints-To: abuse@news.huji.ac.il
NNTP-Posting-Date: Wed, 9 May 2001 19:03:27 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2014.211
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2014.211
Xref: newsfeed.google.com comp.lang.ada:7399
Date: 2001-05-09T21:56:58+03:00
List-Id: <comp.lang.ada>

I was wondering how spread is the use of Aunit (the testing framework). Does
anyone use it professionally? Did anyone try (and succeed) using it with
students?

I have a feeling it is too complicated for students (it uses stuff we cover
quite late like tagged types and child units), but I'd love showing my
students the intense testing approach.

--
Ehud Lamm   mslamm@mscc.huji.ac.il
http://purl.oclc.org/NET/ehudlamm <==  Me!