From c73313ed724ca14cb10f57eb1df7dd51a6b7b72d Mon Sep 17 00:00:00 2001 From: Fabian Schiebel Date: Sun, 15 Dec 2024 12:26:52 +0100 Subject: [PATCH] Disable failing test and refer to tracking issue #741 --- .../ControlFlow/LLVMBasedICFGExportTest.cpp | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/unittests/PhasarLLVM/ControlFlow/LLVMBasedICFGExportTest.cpp b/unittests/PhasarLLVM/ControlFlow/LLVMBasedICFGExportTest.cpp index 18f503fc3..c37b2bbfc 100644 --- a/unittests/PhasarLLVM/ControlFlow/LLVMBasedICFGExportTest.cpp +++ b/unittests/PhasarLLVM/ControlFlow/LLVMBasedICFGExportTest.cpp @@ -296,7 +296,11 @@ TEST_F(LLVMBasedICFGExportTest, ExportICFGIRV9) { verifyExportICFG("call_graphs/virtual_call_9_cpp.ll"); } -TEST_F(LLVMBasedICFGExportTest, ExportICFGSource01) { +/// The following exports strongly depend on the IR; TODO: Replace this with +/// something stable. See +/// [#741](https://github.com/secure-software-engineering/phasar/issues/741) + +TEST_F(LLVMBasedICFGExportTest, DISABLED_ExportICFGSource01) { auto Results = exportICFG("linear_constant/call_01_cpp_dbg.ll", /*asSrcCode*/ true); @@ -304,7 +308,7 @@ TEST_F(LLVMBasedICFGExportTest, ExportICFGSource01) { readJson("linear_constant/call_01_cpp_icfg.json")); } -TEST_F(LLVMBasedICFGExportTest, ExportICFGSource02) { +TEST_F(LLVMBasedICFGExportTest, DISABLED_ExportICFGSource02) { auto Results = exportICFG("linear_constant/call_07_cpp_dbg.ll", /*asSrcCode*/ true); // llvm::errs() << Results.dump(4) << '\n'; @@ -312,7 +316,7 @@ TEST_F(LLVMBasedICFGExportTest, ExportICFGSource02) { readJson("linear_constant/call_07_cpp_icfg.json")); } -TEST_F(LLVMBasedICFGExportTest, ExportICFGSource03) { +TEST_F(LLVMBasedICFGExportTest, DISABLED_ExportICFGSource03) { auto Results = exportICFG("exceptions/exceptions_01_cpp_dbg.ll", /*asSrcCode*/ true); // llvm::errs() << Results.dump(4) << '\n'; @@ -320,7 +324,7 @@ TEST_F(LLVMBasedICFGExportTest, ExportICFGSource03) { readJson("exceptions/exceptions_01_cpp_icfg.json")); } -TEST_F(LLVMBasedICFGExportTest, ExportCFG01) { +TEST_F(LLVMBasedICFGExportTest, DISABLED_ExportCFG01) { auto Results = exportCFGFor("linear_constant/branch_07_cpp_dbg.ll", "main", /*asSrcCode*/ true); // llvm::errs() << Results.dump(4) << '\n';