Searched refs:num_theory_propagations (Results 1 – 2 of 2) sorted by relevance
1326 static inline uint32_t num_theory_propagations(smt_core_t *s) { in num_theory_propagations() function
1568 print_string_and_uint32(fd, b, " :theory-propagations ", num_theory_propagations(core)); in show_core_stats()