Add option to buffer persistent violations instead of returning them right away
Add option to buffer persistent violations instead of returning them right away

jmiserez/sts,jmiserez/sts,ucb-sts/sts,ucb-sts/sts