when I ran klee ,I met Segmentation fault at ExprVisitor.cpp I have very big Expr and this function ExprVisitor::visitActual will recursively simplify my Expr
so maybe my stack fill up Do you have any suggestion for me -- 賴俊維 / Chung-Wei Lai Software Quality Laboratory Department of Computer Science, National Chiao Tung University Email：[email protected]
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
