Searched refs:MEM_INT_HASH_TABLE (Results 1 – 1 of 1) sorted by relevance
795 #define MEM_INT_HASH_TABLE(table) \ macro801 ((table) ? MEM_INT_HASH_TABLE (table) \813 assert (MEM_INT_HASH_TABLE (table) == MEM_INT_HASH_TABLE (clone)); \1211 assert ((allocated += MEM_INT_HASH_TABLE (btor->assertions_cache)) in clone_aux_btor()