Searched refs:dumps_initialized (Results 1 – 1 of 1) sorted by relevance
40 static Bool dumps_initialized = False; variable1180 CLG_ASSERT(dumps_initialized); in new_dumpfile()1613 if (!dumps_initialized) in CLG_()1616 dumps_initialized = True; in CLG_()