Commit 2d183e5
committed
Update CBMC man page
With command-line help being complete, help2man was used to create an
updated list of options for CBMC's man page. Moving forward, automated
checks for man-page completeness will be put in place so that future
changes to the command line will have to be reflected as part of the
changing commit.1 parent 8b5d37a commit 2d183e5
1 file changed
+483
-148
lines changed
0 commit comments