diff options
author | dds <dds@FreeBSD.org> | 2006-05-30 20:49:54 +0000 |
---|---|---|
committer | dds <dds@FreeBSD.org> | 2006-05-30 20:49:54 +0000 |
commit | 27cc870a3f9f6e61aee86d768aa292495512a6a9 (patch) | |
tree | 6f2c7a3d8c1b344ff7e4016c1c9fec0b3b2a8eed /games/ppt | |
parent | b2a8ee65bc6f5b5e9e1e4546be9aee994997278b (diff) | |
download | FreeBSD-src-27cc870a3f9f6e61aee86d768aa292495512a6a9.zip FreeBSD-src-27cc870a3f9f6e61aee86d768aa292495512a6a9.tar.gz |
Assertion code specifications are introduced using special character
sequences that are distinct from comments. %% is used for argument
locks; %! for pre- and post-conditions.
Diffstat (limited to 'games/ppt')
0 files changed, 0 insertions, 0 deletions