Add print on error to debug the ci

secure-software-engineering · Dec 17, 2024 · 0207c1f · 0207c1f
1 parent bfc76ed
commit 0207c1f
Showing 1 changed file with 17 additions and 10 deletions.
diff --git a/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysisTest.cpp b/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysisTest.cpp
@@ -104,13 +104,13 @@ class IDEInstInteractionAnalysisTest : public ::testing::Test {
 
     IDESolver IIASolver(IIAProblem, &HA->getICFG());
     IIASolver.solve();
-    if (PrintDump) {
-      // IRDB->emitPreprocessedIR(llvm::outs());
-      IIASolver.dumpResults();
-      llvm::outs()
-          << "\n======================================================\n";
-      printDump(HA->getProjectIRDB(), IIASolver.getSolverResults());
-    }
+    // if (PrintDump) {
+    //   // IRDB->emitPreprocessedIR(llvm::outs());
+    //   IIASolver.dumpResults();
+    //   llvm::errs()
+    //       << "\n======================================================\n";
+    //   printDump(HA->getProjectIRDB(), IIASolver.getSolverResults());
+    // }
     // do the comparison
     for (const auto &[FunName, SrcLine, VarName, LatticeVal] : GroundTruth) {
       const auto *Fun = IRDB->getFunctionDefinition(FunName);
@@ -137,6 +137,13 @@ class IDEInstInteractionAnalysisTest : public ::testing::Test {
       EXPECT_TRUE(FactFound) << "Variable '" << VarName << "' missing at '"
                              << llvmIRToString(IRLine) << "'.";
     }
+
+    if (HasFailure()) {
+      IIASolver.dumpResults();
+      llvm::errs()
+          << "\n======================================================\n";
+      printDump(HA->getProjectIRDB(), IIASolver.getSolverResults());
+    }
   }
 
   void TearDown() override {}
@@ -189,11 +196,11 @@ class IDEInstInteractionAnalysisTest : public ::testing::Test {
     for (const auto *Inst : IRDB.getAllInstructions()) {
       if (CurrFun != Inst->getFunction()) {
         CurrFun = Inst->getFunction();
-        llvm::outs() << "\n=================== '" << CurrFun->getName()
+        llvm::errs() << "\n=================== '" << CurrFun->getName()
                      << "' ===================\n";
       }
-      llvm::outs() << "  N: " << llvmIRToString(Inst) << '\n';
-      llvm::outs() << "  D: " << printSet(taintsForInst(Inst, SR)) << "\n\n";
+      llvm::errs() << "  N: " << llvmIRToString(Inst) << '\n';
+      llvm::errs() << "  D: " << printSet(taintsForInst(Inst, SR)) << "\n\n";
     }
   }