double_toggle_trace 157 test/correctness/skip_stages_memoize.cpp f3.set_custom_trace(&double_toggle_trace); double_toggle_trace 190 test/correctness/skip_stages_memoize.cpp f3.set_custom_trace(&double_toggle_trace);