did anyone encounter the problem that while using proof (but in the non parallel processing mode, i.e. running everything in only one core) the code runs over and over again the same files? I mean, it starts with the first input file, finishes it, and then the second file and when the second is done it starts the first file again.
I am trying to solve the problem but just in case somebody encountered and found the solution before me.
thanks a lot for your reply. I tried 5.58c and 5.30 getting the same problem. Also I tried what you told me and it seems to work fine.The weirdest thing is that when I run in “proof active mode” everything seems to run fine, it is only when I run using the TSelector classes in non proof mode that the loop over the first n files goes over and over again.
[quote] it is only when I run using the TSelector classes in non proof mode that the loop over the first n files goes over and over again. [/quote]Where you able to reproduce and resolve the problem?