Copying Error Traces

unread,

Dec 1, 2019, 5:14:21 PM12/1/19

to tlaplus

Hi,

I wanted to know if there is a way to easily copy the error trace?

unread,

Dec 1, 2019, 5:53:54 PM12/1/19

to tla...@googlegroups.com

On 01.12.19 14:14, Anirudh Chakravarthy Ramji wrote:
> I wanted to know if there is a way to easily copy the error trace?

Hi,

recent Toolbox nightly builds [1] can export an error trace (including
trace expressions) to the clipboard [2]. In the released version, you
will have to open the MC.out file after model checking and manually
extract the (raw) trace. By the way, we are actively working on support
for evaluating trace expressions on the command-line [3].

Best
Markus

[1] https://nightly.tlapl.us/products
[2]
https://github.com/tlaplus/tlaplus/commit/c7242cdc850baeee3ef8af1fe50ad0921d4fd49b
[3] https://github.com/tlaplus/tlaplus/issues/393

unread,

Dec 1, 2019, 7:11:27 PM12/1/19

to tlaplus

Great thank you so much :)

Reply all

Reply to author

Forward