Searched refs:boolector_reset_stats (Results 1 – 5 of 5) sorted by relevance
172 void boolector_reset_stats (Btor *btor);
729 boolector_reset_stats (btor); in parse()
3118 boolector_reset_stats (clone); in btormbt_state_main()
372 boolector_reset_stats (Btor *btor) in boolector_reset_stats() function
66 void boolector_reset_stats (Btor * btor) \