I have a result I want to save in a .txt file. So I use this line to save a result
param OutputFile symbolic := "output.txt"; print k >> (OutputFile);
However, I may run the script several times which means I will open an existing file and add lines to it. What I want to do is overwrite on the file output.txt so I will not have the previous runs results.
How do I do this?