setting the PRISM javaheap via -javamaxmem does not work on Windows

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Closed xhajnal closed 5 years ago

xhajnal commented 5 years ago

it seems that setting the memory does not change the predefined value in the prism.bat - -Xmx

xhajnal commented 5 years ago

fixed as proposed in f0dea04