1 Commits (a32a1a41b0572633efc2d10b94fda8c23b4a564d)

Author	SHA1	Message	Date
Radu Grigore	3478a8828f	[topl] Added limits, to avoid high runtimes in corner-cases. ... Summary: Added a topl-max-disjuncts, which is analogous to pulse-max-disjuncts. Note, however, that the maximum number of states tracked will be the product of the two limits. Added also topl-max-conjuncts, which drops Topl states that became too complex. Reviewed By: jvillard Differential Revision: D25240386 fbshipit-source-id: 588c90390	4 years ago