]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe37f71) | patch
Fix lit fatal errors about requiring a USE_Z3_SOLVER param
authorReid Kleckner <rnk@google.com>
Tue, 14 Aug 2018 21:15:57 +0000 (21:15 +0000)
committerReid Kleckner <rnk@google.com>
Tue, 14 Aug 2018 21:15:57 +0000 (21:15 +0000)
commite774b941aaad2c287458308c639bf314b9360960
tree3b648a80a33afae2132cd757e30e210881a5c8f5tree | snapshot
parentfe37f716a66869abbaf9a21fc5953efe814486b3commit | diff
Fix lit fatal errors about requiring a USE_Z3_SOLVER param

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@339728 91177308-0d34-0410-b5e6-96231b3b80d8
test/lit.site.cfg.py.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.