A Set VDM Example
A test program for dealing with sets in ANSI C and in K&R C
The Sources
The directory
The Makefile
The DSL file Set.vdm
The main program Set-test.c
proto.h
Make TEST
Call TEST
Make CLEAN