/lib/libveriexec/

• ../
• Makefile
• Makefile.depend
• libveriexec.h
• veriexec.3
• veriexec_check.c