diff options
| author | Peter Collingbourne <peter@pcc.me.uk> | 2010-10-22 18:21:21 +0000 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2010-10-22 18:21:21 +0000 |
| commit | cf3e9642899d901c650b5626d7d087362849bf05 (patch) | |
| tree | a283074d6a0439693115b0fb9d468a53559bc704 /lib/Support/Time.cpp | |
| parent | d4cee7be038ca19f82d33d5ba24accbda55558ee (diff) | |
| download | klee-cf3e9642899d901c650b5626d7d087362849bf05.tar.gz | |
Disable loop index split pass for LLVM 2.9+
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@117117 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Support/Time.cpp')
0 files changed, 0 insertions, 0 deletions