Todo List

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.

Class HandlerInfo

Almost all of the demands in this file should be replaced with terminateState calls.