Support user-provided constraints on trace generation

Question

thebendavis opened this issue a month ago · comments