summaryrefslogtreecommitdiff
path: root/usr.sbin/veriexecgen
ModeNameSize
-rw-r--r--Makefile220logplain
-rw-r--r--veriexecgen.84564logplain
-rw-r--r--veriexecgen.c13144logplain