Symbolic Execution by Overloading __bool__(philipzucker.com)63 points by philzook 1 year ago | 8 comments