Searched refs:veriexec_usage (Results 1 – 1 of 1) sorted by relevance
53 veriexec_usage(void) in veriexec_usage() function185 return (veriexec_usage()); in main()194 return (veriexec_usage()); in main()283 veriexec_usage(); in main()