Home
last modified time | relevance | path

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

/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.h189 bool inhibitForking; variable
523 void setInhibitForking(bool value) override { inhibitForking = value; } in setInhibitForking()
H A DExecutor.cpp456 atMemoryLimit(false), inhibitForking(false), haltExecution(false),
861 inhibitForking ||
868 else if (inhibitForking)