Searched refs:veriexec_state_modify (Results 1 – 1 of 1) sorted by relevance
117 veriexec_state_modify(const char *arg_text) in veriexec_state_modify() function266 state = veriexec_state_modify(optarg); in main()