It's unclear what pro/cons of ps-strongcheck are over ps-quickcheck
Closed this issue · 1 comments
safareli commented
JordanMartinez commented
Specifically, garyb stated that StrongCheck has exhaustive and statistic checking whereas QC does not. Otherwise, SC was stack-safe before QC was.