Merge pull request #118 from nanocoh/main

fix valgrind on reductionOpt tests
najaeda · Oct 14, 2024 · 6f8e6c3 · 6f8e6c3
2 parents ca3a29b + 2794dfb
commit 6f8e6c3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/logic_opt/ReductionOptTests.cpp b/test/logic_opt/ReductionOptTests.cpp
@@ -434,6 +434,7 @@ TEST_F(ReductionOptTests, testTruthTablesMap) {
   }
   NetlistStatistics netlistStats(*get());
   netlistStats.process();
+  destroy();
   printf("Netlist statistics: %s\n", netlistStats.getReport().c_str());
 }