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';