Support user-provided constraints on trace generation

Question

thebendavis opened this issue 2 months ago · comments