static void node_free(Node *node) { cpt_free(node->state); cpt_free(node->steps); cpt_free(node->applicable); cpt_free(node); }
void mpi_yahsp_cleanup() { OMP_BARRIER; cpt_free(send_buffer); cpt_free(recv_buffer); FOR(s, cached_steps) { cpt_free(s); } EFOR;