Hi hengxin,
there are two issues:
First, the "state" and "msgs" groups of the
regular expression do not match linebreaks ("\n"). Just
change the regex to (non-greedily) match newline chars and
terminate matching "msgs" with "}":
^(State ){0,1}(\d*): <(?<event>(?!Initial
predicate).*)>\n\/\\ Clock = (?<clock>.*)\n\/\\ pc =
(.*)\n\/\\ state = ((.|\n)*?)\n\/\\ Host =
(?<host>.*)\n\/\\ msgs = (?<msgs>(.|\n)*?)}$
I found that it works best to check the regular expression in a
regex tester such as [1] because of the limited error reporting in
ShiViz.
Secondly, the "Clock" trace variable is ill-formed (quoting):
/\ Clock = {"'p1':'2'", "'p3':'2'", "'p2':'3'"}
has to be:
/\ Clock = {"p2":2, "p1":2, "p3":3}
Please share the "Clock" trace expression if things
don't work out.
Hope this helps
Markus
"For ShiViz however you are copying the raw output."