[PATCH] D102643: [analyzer][Z3][NFC] Use GTEST_SKIP instead of hacks

2021-05-21 Thread Balázs Benics via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rG3febf0b507e6: [analyzer][Z3][NFC] Use GTEST_SKIP instead of hacks (authored by steakhal). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D102643/new/ https://

[PATCH] D102643: [analyzer][Z3][NFC] Use GTEST_SKIP instead of hacks

2021-05-21 Thread Balázs Benics via Phabricator via cfe-commits
steakhal updated this revision to Diff 346938. steakhal added a comment. Herald added a subscriber: manas. Nothing changed, I'm just retriggering the pre-merge bots as my parent revision landed. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D102643/new/ https://reviews.llvm.org/D102643

[PATCH] D102643: [analyzer][Z3][NFC] Use GTEST_SKIP instead of hacks

2021-05-19 Thread Balázs Benics via Phabricator via cfe-commits
steakhal updated this revision to Diff 346382. steakhal added a comment. Introduce the test fixture, and use its `setUp()` method for implementing this `GTEST_SKIP` stuff. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D102643/new/ https://reviews.l

[PATCH] D102643: [analyzer][Z3][NFC] Use GTEST_SKIP instead of hacks

2021-05-18 Thread Kristóf Umann via Phabricator via cfe-commits
Szelethus accepted this revision. Szelethus added a comment. This revision is now accepted and ready to land. Cheers! CHANGES SINCE LAST ACTION https://reviews.llvm.org/D102643/new/ https://reviews.llvm.org/D102643 ___ cfe-commits mailing list cfe-

[PATCH] D102643: [analyzer][Z3][NFC] Use GTEST_SKIP instead of hacks

2021-05-18 Thread Balázs Benics via Phabricator via cfe-commits
steakhal updated this revision to Diff 346061. steakhal added a comment. now it should build CHANGES SINCE LAST ACTION https://reviews.llvm.org/D102643/new/ https://reviews.llvm.org/D102643 Files: clang/unittests/StaticAnalyzer/FalsePositiveRefutationBRVisitorTest.cpp Index: clang/unitte

[PATCH] D102643: [analyzer][Z3][NFC] Use GTEST_SKIP instead of hacks

2021-05-17 Thread Balázs Benics via Phabricator via cfe-commits
steakhal created this revision. steakhal added reviewers: bkramer, martong, NoQ, Szelethus, mikhail.ramalho. Herald added subscribers: ASDenysPetrov, dkrupp, donat.nagy, a.sidorin, rnkovacs, szepet, baloghadamsoftware, xazax.hun, whisperity. steakhal requested review of this revision. Herald added