Skip to content

Commit ac4afcc

Browse files
committed
minor fix
1 parent 5dd3811 commit ac4afcc

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

unittests/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSUninitializedVariablesTest.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -210,7 +210,7 @@ TEST_F(IFDSUninitializedVariablesTest, UninitTest_10_SHOULD_LEAK) {
210210
IFDSUninitializedVariables::v_t, IFDSUninitializedVariables::i_t>
211211
Solver(*UninitProblem);
212212
Solver.solve();
213-
UninitProblem->emitTextReport(std::cout, Solver.getSolverResults());
213+
UninitProblem->emitTextReport(Solver.getSolverResults(), std::cout);
214214
map<int, set<string>> GroundTruth;
215215
//%2 = load i32, i32 %1
216216
GroundTruth[2] = {"0"};

0 commit comments

Comments
 (0)