Function TEST

library/tests/system/utilities_stats_test.cpp:20–32

}

TEST(UtilitiesStatsTest, CountersRemainZeroWithoutDefine)
{
  ensure_thread();
  SolverContext ctx;
  ctx.utilities().util().stats_reset();

  (void)ctx.trans_table();
  ctx.dispose_trans_table();

  const auto& st = ctx.utilities().util().stats();
  EXPECT_EQ(0u, st.tt_creates);
  EXPECT_EQ(0u, st.tt_disposes);
}