[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Fail to visualize my own error trace in ShiViz

From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
Date: Fri, 2 Aug 2019 08:00:18 -0700
References: <574f7b98-9c48-4053-b34b-e629256088e6@googlegroups.com> <0b3a75b3-4747-d245-3782-6e6d721f7cd8@lemmster.de> <ed274f2e-1849-43fe-bc9d-2d2d2b6f2e0d@googlegroups.com> <81eb7340-dbe9-e147-179b-315000382513@lemmster.de> <d79aef79-e0c4-4475-a2f4-6e772ae4c16f@googlegroups.com>

On 02.08.19 07:19, Hengfeng Wei wrote:
> So, what do you mean by "copying the raw output"?

Hi hengxin,

what I mean by it is the trace printed by TLC to the Toolbox's TLC
Console.  It is what you copy&paste into ShiViz as input.

Best
Markus

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/2a6432b1-2bc1-759c-87ec-4db1371b3447%40lemmster.de.

Follow-Ups:
- Re: [tlaplus] Fail to visualize my own error trace in ShiViz
  - From: Hengfeng Wei

References:
- [tlaplus] Fail to visualize my own error trace in ShiViz
  - From: Hengfeng Wei
- Re: [tlaplus] Fail to visualize my own error trace in ShiViz
  - From: Markus Kuppe
- Re: [tlaplus] Fail to visualize my own error trace in ShiViz
  - From: Hengfeng Wei
- Re: [tlaplus] Fail to visualize my own error trace in ShiViz
  - From: Markus Kuppe
- Re: [tlaplus] Fail to visualize my own error trace in ShiViz
  - From: Hengfeng Wei

Prev by Date: Re: [tlaplus] Fail to visualize my own error trace in ShiViz
Next by Date: Re: [tlaplus] Fail to visualize my own error trace in ShiViz
Previous by thread: Re: [tlaplus] Fail to visualize my own error trace in ShiViz
Next by thread: Re: [tlaplus] Fail to visualize my own error trace in ShiViz
Index(es):
- Date
- Thread