Searched refs:veriexec_check_labels (Results 1 – 1 of 1) sorted by relevance
140 veriexec_check_labels(int argc, char *argv[]) in veriexec_check_labels() function217 veriexec_check_labels(argc, argv); in main()