[klee-dev] Why there are so many weighted random search algorithms in KLEE?

[gwpublic at wp.pl]

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