Zulip Chat Archive
Stream: general
Topic: trace simp!
Kenny Lau (Oct 03 2018 at 20:59):
can we trace simp!?
Chris Hughes (Oct 03 2018 at 21:01):
set_option trace.simplify.rewrite true
Kenny Lau (Oct 03 2018 at 21:03):
it doesn't trace which definitions are unfolded by simp!!
Last updated: Dec 20 2023 at 11:08 UTC