oloESK
oloESK
There is no caches folder in the newest release, it is present in the previous release version but not in the newest though.
It works now. Main problem solved. However, it has some freezes during adding Goal to goal connections in GSN tree. I have to re-run the tool to finally see "Supported...
[idea.log](https://github.com/mbeddr/mbeddr.formal/files/8058778/idea.log) Here is the fresh log file right after the freeze occurs. Where can I find new version for download?
The freezes related to the project which I built on previous release and imported into new one once it became available. I tried quickly recreate simple test scenario within new...