Revert "[analyzer][NFC] Add unittest for FalsePositiveRefutationBRVisitor"
authorDmitri Gribenko <gribozavr@gmail.com>
Mon, 29 Jun 2020 14:59:40 +0000 (16:59 +0200)
committerDmitri Gribenko <gribozavr@gmail.com>
Mon, 29 Jun 2020 15:00:15 +0000 (17:00 +0200)
commita44425f25b5ca417e7ecee6e7e00040224e50a69
tree28a7419e0067a7ff5e1f88cf1188567edf3c5e3d
parentcc836950ab2a4309ae68d78a1b2330fd922fa3a2
Revert "[analyzer][NFC] Add unittest for FalsePositiveRefutationBRVisitor"

This reverts commit e22cae32c5c4cf8c49b674cea34c105a6cb015f9. It broke
the build:

FalsePositiveRefutationBRVisitorTest.cpp:112:3: error: use of undeclared identifier 'LLVM_WITH_Z3'
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
clang/unittests/StaticAnalyzer/CMakeLists.txt
clang/unittests/StaticAnalyzer/CheckerRegistration.h
clang/unittests/StaticAnalyzer/FalsePositiveRefutationBRVisitorTest.cpp [deleted file]