diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-15 20:58:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-15 19:58:57 +0000 |
| commit | 429514c9cb6d187adca027ffc7542cf35543e85d (patch) | |
| tree | 9d9aab55577496739577036c5cc582598d395679 /test/unit/util | |
| parent | 5bbb45b820b9d695c29182f4dd2fc13fd9997e4b (diff) | |
Replace HistogramStat by IntegralHistogramStat (#6126)
This PR uses IntegralHistogramStat instead of HistogramStat when appropriate, that is everywhere.
Diffstat (limited to 'test/unit/util')
| -rw-r--r-- | test/unit/util/stats_black.cpp | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/test/unit/util/stats_black.cpp b/test/unit/util/stats_black.cpp index 3363ba132..71cde7e5a 100644 --- a/test/unit/util/stats_black.cpp +++ b/test/unit/util/stats_black.cpp @@ -47,13 +47,6 @@ TEST_F(TestUtilBlackStats, stats) BackedStat<double> backedDoubleNoDec("backedDoubleNoDec", 2.0); BackedStat<bool> backedBool("backedBool", true); BackedStat<void*> backedAddr("backedDouble", (void*)0xDEADBEEF); - HistogramStat<int64_t> histStat("hist"); - histStat << 5; - histStat << 6; - histStat << 5; - histStat << 10; - histStat << 10; - histStat << 0; IntegralHistogramStat<std::int64_t> histIntStat("hist-int"); histIntStat << 15 << 16 << 15 << 14 << 16; IntegralHistogramStat<CVC4::PfRule> histPfRuleStat("hist-pfrule"); @@ -131,8 +124,6 @@ TEST_F(TestUtilBlackStats, stats) safe_print(fd, "\n"); backedBool.safeFlushInformation(fd); safe_print(fd, "\n"); - histStat.safeFlushInformation(fd); - safe_print(fd, "\n"); histIntStat.safeFlushInformation(fd); safe_print(fd, "\n"); histPfRuleStat.safeFlushInformation(fd); @@ -159,7 +150,6 @@ TEST_F(TestUtilBlackStats, stats) "2.0\n" "0xdeadbeef\n" "true\n" - "[(0 : 1), (5 : 2), (6 : 1), (10 : 2)]\n" "[(14 : 1), (15 : 2), (16 : 2)]\n" "[(ASSUME : 2), (SCOPE : 1)]\n" "<unsupported>"; |