LDC Klee integration?

Stefan Koch via digitalmars-d-ldc digitalmars-d-ldc at puremagic.com
Tue May 23 14:21:28 PDT 2017

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.

More information about the digitalmars-d-ldc mailing list