- t -

• targetData : klee::KModule
• terminator : klee::ImmutableTree< K, V, KOV, CMP >::Node
• theRNG : klee::Executor, klee::RandomPathSearcher, klee::RandomSearcher, klee::WeightedRandomSearcher
• time : klee::IterativeDeepeningTimeSearcher
• timeBudget : klee::BatchingSearcher
• timer : klee::TimerStatIncrementer
• timers : klee::Executor, klee::TimerGroup
• TLI : klee::RaiseAsmPass
• trackCoverage : klee::KFunction
• transactionBeginStmt : klee::StatsTracker
• transactionEndStmt : klee::StatsTracker
• triple : klee::RaiseAsmPass
• trueExpr : klee::SelectExpr
• type : klee::WeightedRandomSearcher