Set location for TProofBench::MakeDataSet

Is it possibile to set the path where the method TProofBench::MakeDataSet put the files? By default it is using the proof working directory


Yes, the third argument can be used to set the full path for the files, with some support for placeholders.
See: … akeDataSet .

Let me know if this helps.