From c9d9ba1362386f3f5197649b1c03960866ef2991 Mon Sep 17 00:00:00 2001
From: Fabian Schiebel <fabian.schiebel@iem.fraunhofer.de>
Date: Sun, 15 Dec 2024 13:12:00 +0100
Subject: [PATCH] minor

---
 .../PhasarLLVM/DataFlow/IfdsIde/SparseIDESolverTest.cpp   | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/unittests/PhasarLLVM/DataFlow/IfdsIde/SparseIDESolverTest.cpp b/unittests/PhasarLLVM/DataFlow/IfdsIde/SparseIDESolverTest.cpp
index 902b5270e..e9dc31c7d 100644
--- a/unittests/PhasarLLVM/DataFlow/IfdsIde/SparseIDESolverTest.cpp
+++ b/unittests/PhasarLLVM/DataFlow/IfdsIde/SparseIDESolverTest.cpp
@@ -14,14 +14,10 @@
 #include "phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h"
 #include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
 #include "phasar/Utils/Soundness.h"
-#include "phasar/Utils/TypeTraits.h"
 
 #include "TestConfig.h"
 #include "gtest/gtest.h"
 
-#include <memory>
-#include <tuple>
-
 using namespace psr;
 namespace {
 /* ============== TEST FIXTURE ============== */
@@ -67,8 +63,8 @@ TEST_P(LinearConstant, SparseResultsEquivalent) {
         << "At " << llvmIRToString(Cell.getRowKey())
         << " :: " << llvmIRToShortString(Cell.getColumnKey());
   }
-
-  // TODO: Check for existing results
+  // Note: Do not check for equivalence, because SparseIDE is *expected* to
+  // compute less (N, D) results than vanilla IDE.
 }
 
 static LLVMTaintConfig getDoubleFreeConfig() {