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