Searched defs:succs_size (Results 1 – 1 of 1) sorted by relevance
3843 UWord succs_size, i; in laog__do_dfs_from_to() local4034 UWord preds_size, succs_size, i, j; in laog__handle_one_lock_deletion() local