An Optional VDM Example
A test program for dealing with optional data types in ANSI C and in K&R C
The Sources
The directory
The Makefile
The DSL file Opti.vdm
The main program Opti-test.c
Make TEST
Call TEST
Make CLEAN