Searched refs:reactors (Results 1 – 5 of 5) sorted by relevance
189 char *reactors; in ikm_read_reactor() local192 reactors = tracefs_instance_file_read(NULL, path, NULL); in ikm_read_reactor()193 if (!reactors) { in ikm_read_reactor()198 return reactors; in ikm_read_reactor()212 char *reactors = ikm_read_reactor(monitor_name); in ikm_get_current_reactor() local217 if (!reactors) in ikm_get_current_reactor()220 start = strstr(reactors, "["); in ikm_get_current_reactor()240 free(reactors); in ikm_get_current_reactor()504 char *reactors = tracefs_instance_file_read(NULL, "rv/available_reactors", NULL); in ikm_usage_print_reactors() local507 if (!reactors) in ikm_usage_print_reactors()[all …]
3 Print the monitor's options and the available reactors list.7 Enables the *reactor*. See **-h** for a list of available reactors.
33 bool "Runtime verification reactors"37 Enables the online runtime verification reactors. A runtime
8 The model is borken on purpose: it serves to test reactors.
41 - To test the reactors.