Function TEST

library/tests/system/context_tt_facade_test.cpp:16–33

extern Memory memory;

TEST(SystemContextTTFacades, ResetAndResizeAreNoopsWithoutTT)
{
  SetMaxThreads(1);
  // Some environments may compute 0 allowable threads (e.g., macOS sandbox),
  // so ensure we have at least one thread allocated for the test.
  if (memory.NumThreads() == 0)
    memory.Resize(1, DDS_TT_SMALL, THREADMEM_SMALL_DEF_MB, THREADMEM_SMALL_MAX_MB);
  // Create a context that owns its ThreadData for this test.
  SolverContext ctx;
  // Ensure no TT yet (construction is lazy until first use)
  ASSERT_EQ(nullptr, ctx.maybe_trans_table());
  // Should not crash and should not create TT
  ctx.reset_for_solve();
  ctx.clear_tt();
  ctx.resize_tt(8, 16);

  EXPECT_EQ(nullptr, ctx.maybe_trans_table());
}

TEST(SystemContextTTFacades, ResizeCreatesWhenExisting)
{