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.
48 The model is borken on purpose: it serves to test reactors.54 bool "Runtime verification reactors"58 Enables the online runtime verification reactors. A runtime
138 - Reading shows the available reactors, one per line.215 **monitors/MONITOR/reactors**217 - List available reactors, with the select reaction for the given *MONITOR*223 # cat monitors/wip/reactors227 # echo panic > monitors/wip/reactors228 # cat monitors/wip/reactors
41 - To test the reactors.