diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-08-24 13:59:29 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-12-20 14:36:51 +0000 |
| commit | 3e28c11203af6c96d612e45fb45445e12d41ad7f (patch) | |
| tree | 8aa1e9e703273acdd308848b18baa33446a133b2 /test/Feature/SolverTimeout.c | |
| parent | 90b40d50f0f15ecfcf84fa0a95e2f7aaddf4ace4 (diff) | |
| download | klee-3e28c11203af6c96d612e45fb45445e12d41ad7f.tar.gz | |
llvm13: llvm::cl::GeneralCategory is no longer a global
Therefore, llvm::cl::getGeneralCategory() should be used instead. See: https://reviews.llvm.org/D105959
Diffstat (limited to 'test/Feature/SolverTimeout.c')
0 files changed, 0 insertions, 0 deletions