Spinroot

A forum for Spin users

You are not logged in.

#1 2018-10-09 03:10:28

haozheng
Member
Registered: 2013-12-16
Posts: 8

problem with replaying trail file

When I  re-play a trail file using "spin -p -t a1_3.pml.trail" , I got an message on screen shown below.
spin: a1_3.pml.trail:1, Error: syntax error    saw ''-' = 45'
spin: cannot find trail file

From the trail file, the first line is "-4:-4:-4". Seems that spin does not like negative numbers in the trail file.

Can you please shed some light on how to get around or fix this issue? I use spin version 648.

Thank you.

Offline

#2 2018-10-09 15:47:55

spinroot
forum
Registered: 2010-11-18
Posts: 657
Website

Re: problem with replaying trail file

Spin just takes the name of the model itself for replay.
So the replay command is:
spin -p -t a1_3.pml
(without .trail at the end)

Offline

Board footer

Powered by FluxBB