Function TEST

library/tests/system/utilities_log_test.cpp:20–33

}

TEST(UtilitiesLogTest, NoLogWithoutDefine)
{
  ensure_thread();
  SolverContext ctx;

  // Ensure clean start
  ctx.utilities().log_clear();

  // Create TT and dispose it; without define there should be no logs
  (void)ctx.trans_table();
  ctx.dispose_trans_table();

  EXPECT_TRUE(ctx.utilities().log_buffer().empty());
}