Symbol: RV_MONITOR_NAME
include/rv/ltl_monitor.h
20
static struct rv_monitor RV_MONITOR_NAME;
include/rv/ltl_monitor.h
87
rv_react(&RV_MONITOR_NAME, "rv: "__stringify(MONITOR_NAME)": %s[%d]: violation detected\n",