Function debug_thread_alloc

test_more/debug_rel/debug.cpp:9–15

checks that d_ptr points to a double with value 5.0 and then frees the double using thread_alloc::return_memory

// checks that d_ptr points to a double with value 5.0 and then
// frees the double using thread_alloc::return_memory
bool debug_thread_alloc(double *d_ptr)
{  bool ok = true;
   ok &= ( *d_ptr == 5.0);
   void* v_ptr = reinterpret_cast<void*>(d_ptr);
   CppAD::thread_alloc::return_memory(v_ptr);
   return ok;
}

// just use ADFun<double> constructor
void debug_adfun_ctor(void)