Thread overview | |||||||
---|---|---|---|---|---|---|---|
|
May 23, 2017 LDC Klee integration? | ||||
---|---|---|---|---|
| ||||
Anyone know about this? Seems useful... if D could have something like this that is mostly automatic it would be very powerful. |
May 23, 2017 Re: LDC Klee integration? | ||||
---|---|---|---|---|
| ||||
Posted in reply to Mike B Johnson | 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?
|
May 23, 2017 Re: LDC Klee integration? | ||||
---|---|---|---|---|
| ||||
Posted in reply to Mike B Johnson | 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.
|
May 24, 2017 Re: LDC Klee integration? | ||||
---|---|---|---|---|
| ||||
Posted in reply to Mike B Johnson | 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. |
May 24, 2017 Re: LDC Klee integration? | ||||
---|---|---|---|---|
| ||||
Posted in reply to Nicholas Wilson | On 24 May 2017, at 2:41, Nicholas Wilson via digitalmars-d-ldc wrote:
> On Tuesday, 23 May 2017 at 21:04:48 UTC, Mike B Johnson wrote:
>> Also, can LDC use LLDB?
>
> See https://github.com/ldc-developers/ldc/issues/2028 for progress.
That issue is about LLD, which is one B short of a debugger. ;)
LLDB can be used with any supported executable type, just like GDB, regardless of the compiler used to create it (thus, of course, including LDC). The handling of D types/mangled names might be a bit worse than in GDB, though.
— David
|
Copyright © 1999-2021 by the D Language Foundation