refactor: rename `Tactic.sym.debug` traceclass to avoid confusion with the option of the same name.#235

Merged

shigoel merged 2 commits intomainfrom rename-sym-debug

Oct 14, 2024

+16-14

Commits on Oct 11, 2024

refactor: rename Tactic.sym.debug traceclass to avoid confusion with the option of the same name.
alexkeizer
committed

Commits on Oct 13, 2024

Merge branch 'main' into rename-sym-debug
shigoel
authored