This is also on the "at some point" list. :-) Concolic testing is quite hard in Python because of its extremely flexible semantics. I will probably look into d

This is also on the "at some point" list. :-) Concolic testing is quite hard in Python because of its extremely flexible semantics. I will probably look into doing something with z3 at some point when I need an interesting problem to entertain me, but I don't hold out a massive amount of hope for it being useful.