diff options
author | Stepan Dyatkovskiy <stpworld@narod.ru> | 2012-03-11 06:10:03 +0000 |
---|---|---|
committer | Stepan Dyatkovskiy <stpworld@narod.ru> | 2012-03-11 06:10:03 +0000 |
commit | e3aaf467d0ce6309fcaed86f6e49ed2920e9e0c5 (patch) | |
tree | 536d7ffdabda9905a2b5e7cc47a367e6878a10c3 /lib/Solver | |
parent | 4a6357101c5d7ea3511de73e4aac374c695f82e1 (diff) | |
download | klee-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