summaryrefslogtreecommitdiff
path: root/usr.sbin/veriexecgen
ModeNameSize
-rw-r--r--Makefile220logplain
-rw-r--r--veriexecgen.84468logplain
-rw-r--r--veriexecgen.c11151logplain