coverage

nanocoh · Sep 29, 2024 · b19f7f5 · b19f7f5
1 parent 108c96e
commit b19f7f5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/logic_opt/ReductionOptTests.cpp b/test/logic_opt/ReductionOptTests.cpp
@@ -428,6 +428,7 @@ TEST_F(ReductionOptTests, testTruthTablesMap) {
     printf("partial constant readers: %lu\n",
            cp.getPartialConstantReaders().size());
     ReductionOptimization reductionOpt(cp.getPartialConstantReaders());
+    reductionOpt.setNormalizedUniquification(false);
     reductionOpt.run();
     reductionOpt.collectStatistics(); 
   }