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.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
