K-user mailing list

[Mihály Palenik <palenik.mihaly AT gmail.com>]

Hello

When I krun my test file I get this result:

<T>...

<threads>

  <thread> <k> 18 </k> ...</thread>
  <thread> <k> < 53 . 54 . 55 > </k> ...</thread>
  <thread> <k> 55 </k> ...</thread>
  <thread> <k> 45 </k> ...</thread>

</threads>

...</T>

I want to use ktest so I try to use --pattern and --search-all argument:

krun file.erl --search-all --pattern "<k> V:Int </k>"

But I got just the first (18) result but I need all of them (18, 55, 45)

The second K cell contains a Pid. When I eliminate this result the problem stay the same.

What is the problem here?

Thank you your answers in advance!

Best regards

Mihály Palenik