Hello, to be more concise about my last question: Is there a good way in klee to concretise symbolic variables, i.e. make symbolic variables concrete?
Best regards, Andreas _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
