Home
last modified time | relevance | path

Searched refs:constantObjects (Results 1 – 1 of 1) sorted by last modified time

/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.cpp816 std::vector<ObjectState *> constantObjects; local
840 constantObjects.emplace_back(os);
847 if (!constantObjects.empty()) {
852 for (auto obj : constantObjects)