On Tuesday, 23 May 2017 at 21:00:26 UTC, Mike B Johnson wrote: > Anyone know about this? Seems useful... if D could have > something like this that is mostly automatic it would be very > powerful. KLEE does not work with a current llvm. Also it's rather slow.