agc 221d869ea3 Minor cosmetic changes: ...

1. use EXIT_SUCCESS and EXIT_FAILURE, rather than 0 or 1, throughout
2. add some comments
3. use descriptive names for variables, so that their use is easily
gleaned.

2006-12-04 21:22:40 +00:00

..

Makefile

…

veriexecgen.8

…

veriexecgen.c

Minor cosmetic changes:

2006-12-04 21:22:40 +00:00