about summary refs log tree commit diff homepage
path: root/lib/Solver
diff options
context:
space:
mode:
authorStepan Dyatkovskiy <stpworld@narod.ru>2012-03-11 06:10:03 +0000
committerStepan Dyatkovskiy <stpworld@narod.ru>2012-03-11 06:10:03 +0000
commite3aaf467d0ce6309fcaed86f6e49ed2920e9e0c5 (patch)
tree536d7ffdabda9905a2b5e7cc47a367e6878a10c3 /lib/Solver
parent4a6357101c5d7ea3511de73e4aac374c695f82e1 (diff)
downloadklee-e3aaf467d0ce6309fcaed86f6e49ed2920e9e0c5.tar.gz
llvm::SwitchInst
Renamed methods caseBegin, caseEnd and caseDefault with case_begin, case_end, and case_default.
Added some notes relative to case iterators.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@152534 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Solver')
0 files changed, 0 insertions, 0 deletions