klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Todo List
Member handlerInfo []
Almost all of the demands in this file should be replaced with terminateState calls.
Class klee::Executor
Add a context object to keep track of data only live during an instruction step. Should contain addedStates, removedStates, and haltExecution, among others.