LDC Klee integration?

[Nicholas Wilson via digitalmars-d-ldc]

On Tuesday, 23 May 2017 at 21:04:48 UTC, Mike B Johnson wrote:
> 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.
>
> Also, can LDC use LLDB?

See https://github.com/ldc-developers/ldc/issues/2028 for 
progress.