Symbol: stop_rv
tools/verification/rv/src/rv.c
193
signal(SIGINT, stop_rv);
tools/verification/rv/src/rv.c
194
signal(SIGTERM, stop_rv);