It's based on counting operations and not measurement of wall time, but yes. Try passing -Xfrontend -solver-scope-threshold=NNN where NNN is an integer. The default value is one million.
29 Likes
It's based on counting operations and not measurement of wall time, but yes. Try passing -Xfrontend -solver-scope-threshold=NNN where NNN is an integer. The default value is one million.