Searched refs:stats_for_py (Results 1 – 1 of 1) sorted by relevance
7857 purge_stats stats_for_py; in test_purging_by_criteria() local7859 model1.get_constraints ()->purge (py, &stats_for_py); in test_purging_by_criteria()7860 ASSERT_EQ (stats_for_py.m_num_equiv_classes, 1); in test_purging_by_criteria()