Skip to content
Commit a44425f2 authored by Dmitri Gribenko's avatar Dmitri Gribenko
Browse files

Revert "[analyzer][NFC] Add unittest for FalsePositiveRefutationBRVisitor" 

This reverts commit e22cae32. It broke
the build:

FalsePositiveRefutationBRVisitorTest.cpp:112:3: error: use of undeclared identifier 'LLVM_WITH_Z3'
parent cc836950
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment