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?