Symbolic execution

drug drug2004 at bk.ru
Tue Sep 22 11:44:12 UTC 2020


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


More information about the Digitalmars-d mailing list