At any rate, thank you very much for answering my questions in this thread, lucianopaz.
For future reference, what I was being confused about in saving traces were the following factors:
-
pm.save_trace()'s default behavior saves the traces in a hidden file, making it easy to think nothing happened - To save the trace’s in a non-hidden way, both the
directory=andoverwrite=Trueoptions need to be set, which is not immediately obvious.