Thread overview
Symbolic execution
Sep 22
drug
September 22
Does anyone know if there is a symbolic execution engine for D? Could I use klee?
September 22
On 9/22/20 2:20 PM, Imperatorn wrote:
> Does anyone know if there is a symbolic execution engine for D? Could I use klee?

https://theartofmachinery.com/2019/05/28/d_and_klee.html
September 22
On Tuesday, 22 September 2020 at 11:44:12 UTC, drug wrote:
> On 9/22/20 2:20 PM, Imperatorn wrote:
>> Does anyone know if there is a symbolic execution engine for D? Could I use klee?
>
> https://theartofmachinery.com/2019/05/28/d_and_klee.html

Cool! I'll try that. So, there's no "native" D engine?