When I try to right click on a property and run "generate strategy," I receive an error saying:
Error: java.lang.IllegalStateException: Trying to write to an invalid file handle (already closed?) This is an unexpected error, it might be a good idea to restart PRISM.
At first I assumed it was due to the large size of my model, but I tested out the basic SMG example from the website here: http://www.prismmodelchecker.org/games/examples/smg_example.prism.php (along with its respective properties file), and it still yielded the same error. This example works fine when I run PRISM-games on my MacOS machine, but it only seems to be failing on my Windows machine.
I am running PRISM-games Version 3.0 (based on PRISM 4.6)
In addition, when I am able to generate the strategy and export it to a file, how should I interpret the resulting file or understand what actions the strategy is suggesting to choose?