Searched refs:node_bytes_alloc (Results 1 – 4 of 4) sorted by relevance
204 size_t node_bytes_alloc; member
254 BTOR_CHKCLONE_STATS (node_bytes_alloc); in chkclone_stats()292 BTOR_CHKCLONE_STATS (node_bytes_alloc); in chkclone_stats()
475 btor->stats.node_bytes_alloc += exp->bytes; in setup_node_and_add_to_id_table()
432 btor->stats.node_bytes_alloc / (double) (1 << 20)); in btor_print_stats()