Dear KLEE group developers: Apologize for the inconvenience. I am writing to you in the hope that you may kindly give me some help on how to make KLEE run on the benchmark(https://test-comp.sosy-lab.org/2020/rules.php). Becase there are so many extern statement like "__VERIFIER_nondet_",can we use an easy way to make KLEE run on it instead of replacing every extern statement to "klee_make_symbolic" manually? Looking forward to your reply! Thanks! WuJie
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
