A forum for Spin users
You are not logged in.
Is it possible to obtain the trace of an execution with pan, excluding the messages printed by processes? It seems that `grep -E "^[ 0-9]+:"` might find all steps in the trace produced by `pan -r`. The regular expression could also match lines printed by processes, which is my problem.
Last edited by jllang (2021-08-27 07:06:12)
Offline
It turns out that the combination of the -p and -b flags of spin (not pan) was what I was looking for.
Offline