Home
last modified time | relevance | path

Searched refs:usingSeeds (Results 1 – 2 of 2) sorted by relevance

/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.h182 const std::vector<struct KTest *> *usingSeeds; variable
513 usingSeeds = seeds; in useSeeds()
H A DExecutor.cpp455 replayKTest(0), replayPath(0), usingSeeds(0),
3415 if (usingSeeds) {
3418 for (std::vector<KTest*>::const_iterator it = usingSeeds->begin(),
3419 ie = usingSeeds->end(); it != ie; ++it)
3422 int lastNumSeeds = usingSeeds->size()+10;