minor

secure-software-engineering · Dec 15, 2024 · c9d9ba1 · c9d9ba1
1 parent 2335d4e
commit c9d9ba1
Showing 1 changed file with 2 additions and 6 deletions.
diff --git 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() {