scala/scala — pull request #953 by adriaanm (2012-07-20 10:22:08+00:00)
Title: SI-6031 customizable budget for patmat analyses

read the scalac.patmat.analysisBudget system property to decide how much time to spend on unreachability/exhaustivity
the default value is 256, and you can turn it off entirely using -Dscalac.patmat.analysisBudget=off

when the budget is exhausted, an unchecked warning is emitted

stack overflows in CNF conversion are caught and treated as analysis budget violations