Symbolic Execution by Overloading __bool__ (via mjn) — discussion

#formalmethods #python