hi, when constraints are solved failed during symbolic execution, I want to use concrete value (like seeds) to replace the related symbolic value. So that the execution could continue.
How could I use this feature in KLEE ? thanks. xqx _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
