A forum for Spin users
You are not logged in.
Pages: 1
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
Pages: 1