I want to create a dummy symbol expression in klee (manually setting name and width, no address allocation required, just a pure dummy symbol representing a bunch of constraints). In klee::Expr I can't find a way to do that. Can someone give me some hints on how to do that?Thanks,Min
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev