llvm-project
88693c49
- [NFC][analyzer][test][z3] Move test cases requiring Z3 to the `Analysis/z3/` subdirectory (#183724)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
1 day ago
[NFC][analyzer][test][z3] Move test cases requiring Z3 to the `Analysis/z3/` subdirectory (#183724) Addressing #181581, continuing #183034 This enables executing all test cases with the `REQUIRES: z3` tag via the `check-clang-analysis-z3` target.
References
#183724 - [NFC][analyzer][test][z3] Move test cases requiring Z3 to the `Analysis/z3/` subdirectory
Author
Snape3058
Parents
87cbea6c
Loading