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

[Loi Luu]

Dear all,

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?

Thanks,

-- 
Loi, Luu The (Mr.)
University of  Engineering and Technology, Vietnam National University,
Hanoi.
-------------- next part --------------
HTML attachment scrubbed and removed