问题I want to convert AST(Abstract syntax tree) to the input constraints of Z3, How can I do that ? This process is for test pattern generation 来源：https://stackoverflow.com/questions/44582189/z3-prover-for-solving-the-abstract-syntax-tree 标签 Z3
