Searched refs:veriexec_load (Results 1 – 1 of 1) sorted by relevance
67 veriexec_load(const char *manifest) in veriexec_load() function305 if (veriexec_load(argv[optind])) { in main()