Ali Caglayan (Jan 03 2023 at 17:35): Ali Caglayan (Jan 03 2023 at 17:35):I see that the --bt option was commented out. Can we reenable it? It would help debugging coq-lsp especially when an anomaly is raised.
Gaëtan Gilbert (Jan 03 2023 at 17:42):you can also Set Debug "backtrace"
Emilio Jesús Gallego Arias (Jan 03 2023 at 18:04):That can't be on by default otherwise all user error messages will show a backtrace
Emilio Jesús Gallego Arias (Jan 03 2023 at 18:05):I set it manually when needed
Notification Bot (Jan 05 2023 at 20:35):Emilio Jesús Gallego Arias has marked this topic as resolved.
Last updated: Apr 19 2024 at 00:02 UTC