Searched refs:dump_all_asserts (Results 1 – 1 of 1) sorted by relevance
3153 void dump_all_asserts (FILE *);3203 dump_all_asserts (FILE *file) in dump_all_asserts() function3220 dump_all_asserts (stderr); in debug_all_asserts()3777 dump_all_asserts (dump_file); in process_assert_insertions()