kdrag.hypothesis.smt_generic_val

kdrag.hypothesis.smt_generic_val(sort: SortRef, maxiter=4) → SearchStrategy[ExprRef]

A hypothesis search strateegy that uses smt model generation to generate a value of a given SMT sort. It is slower and will have worse shrinkage. To be used as a fallback.