New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

適用したルール名だけを出力するオプションの追加 #269

Open

sano-jin opened this issue Aug 23, 2021 · 1 comment

Labels

enhancement low

Contributor

sano-jin commented Aug 23, 2021

状態の dump は重くなるのでしない

sano-jin added the enhancement label

sano-jin added the low label

Contributor

k-ueda commented Feb 14, 2024

通常実行と非決定実行，両方の -t が対象ですね．
2022年度導入のデバッガ機能との関連も検討の価値がありそう．

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment