Opening an Error Trace in the Toolbox

11 views
Skip to first unread message

william...@10gen.com

unread,
Nov 7, 2019, 8:09:21 AM11/7/19
to tlaplus
Is it possible to open a textual error trace generated by TLC in the Toolbox's Error Trace viewer? Sometimes I run TLC from the command line and then I want to view the error trace it generates. Having this ability could also make it easier to share around textual error traces with others since they could open the error trace in the Toolbox instead of reading the raw text.
Reply all
Reply to author
Forward
0 new messages