Searched refs:boolector_release_all (Results 1 – 4 of 4) sorted by relevance
574 void boolector_release_all (Btor *btor);
951 boolector_release_all (btor); in parse()
3834 if (release_all) boolector_release_all (mbt->btor); in btormbt_state_delete()
1039 boolector_release_all (Btor *btor) in boolector_release_all() function