Home
last modified time | relevance | path

Searched refs:option_timeout (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch.c47 int option_timeout = 60; variable
224 &option_timeout) != 1) in parse_args()
H A Dsmatch_implied.c454 if (!option_timeout || time_parsing_function() < option_timeout) { in going_too_slow()
461 sm_perror("turning off implications after %d seconds", option_timeout); in going_too_slow()
661 if (option_timeout && sec > option_timeout) { in separate_and_filter()
H A Dsmatch_flow.c883 if (option_timeout && in taking_too_long()
884 (ms_since(&outer_fn_start_time) / 1000) > option_timeout * 5) in taking_too_long()
H A Dsmatch.h224 extern int option_timeout;