CADiZ

Reference manual / Z-related commands / Compliance commands


These commands support checking the compliance of an existing program in Spark Ada with a Carroll Morgan-style specification statement, where the two are related by a Knuth-style web. The compliance functionality is broken. Don't bother trying to use these commands.


IT 24-Feb-2000