Hello, > I noticed that there are several NURS algorithms in klee, and each will > randomly select a state based on its own distribution. So why do we need > many of them in KLEE while after all we do randomly select states?
For me it feels like you've answered your own question: Because they have different distributions :). If you would have findings about best distribution for selecting next node (maybe taking into account control/data flow structure) this might be nice contribution. Cheers, Greg _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
