[GAP] design by contract

[Dick Gayler]

Thank you.

On 08/10/2011 04:36 PM, Albert Lee wrote:
> On Wed, Aug 10, 2011 at 03:46:01PM -0400, Dick Gayler wrote:
>> This file is compiled using the -gnatA switch but the precondition is
>> not executing.  Any help would be appreciated.
> The command line switches are case sensitive.  If you use -gnata instead
> of -gnatA you should get something like:
>
> $ ./test_stack
> raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : Precondition failed at test_stack.adb:9
>
> -Albert
> _______________________________________________
> GAP mailing list
> GAP at gnat.info
> /no-more-mailman.html
> To unsubscribe from this list, please contact the GAP GNAT Tracker administrator
> within your organization.

-- 
Dick Gayler
Professor
Department of Computer Science and Information Systems
Kennesaw State University
1000 Chastain Road
Building 11, Room 3039
Kennesaw, GA 30144
office: 770-423-6099
Google Voice 678-273-2129
fax 770-302-4415