4 ms·
So this is Symbolic Execution based testing for Python?
by im_down_w_otp 7y ago
So this is Symbolic Execution based testing for Python?
- pschanely 7y agoThat's right! We pick different choose execution paths arbitrarily and accumulate constraints in an SMT solver as we go. It's implemented with special objects that look just like ints, strings, etc; this might help: https://twitter.com/pschanely/status/1176151748844691456 https://twitter.com/pschanely/status/1176151748844691456