ParentFull threadcfbolztereick·Yeah, the generated traces are 'sensible' by construction (they don't compute anything sensible, but they are well-formed).View on HN