• Imperatorn (2/2) Sep 22 2020 Does anyone know if there is a symbolic execution engine for D?
• drug (2/4) Sep 22 2020 https://theartofmachinery.com/2019/05/28/d_and_klee.html
• Imperatorn (2/6) Sep 22 2020 Cool! I'll try that. So, there's no "native" D engine?

Imperatorn <johan_forsberg_86 hotmail.com> writes:

Does anyone know if there is a symbolic execution engine for D? 
Could I use klee?

drug <drug2004 bk.ru> writes:

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

Imperatorn <johan_forsberg_86 hotmail.com> writes:

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?