Merge branch 'development' into f-FixTSAGlobalHandling

secure-software-engineering · Aug 17, 2023 · 4f8ffaa · 4f8ffaa
2 parents ec919e9 + 1b28878
commit 4f8ffaa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysisTest.cpp b/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysisTest.cpp
@@ -855,8 +855,8 @@ TEST_F(IDEInstInteractionAnalysisTest, HandleHeapTest_01) {
 }
 
 PHASAR_SKIP_TEST(TEST_F(IDEInstInteractionAnalysisTest, HandleRVOTest_01) {
-  // If we use libcxx this won't work since internal implementation is different
-  LIBCPP_GTEST_SKIP;
+  GTEST_SKIP() << "This test heavily depends on the used stdlib version. TODO: "
+                  "add a better one";
 
   std::set<IIACompactResult_t> GroundTruth;
   GroundTruth.emplace(