Error for temp file when opening files

6 views
Skip to first unread message

dnshi...@gmail.com

unread,
Dec 6, 2017, 10:48:17 AM12/6/17
to PRISM model checker
We just upgraded from Prism 6 to Prism 7.  When we open a file were are getting an error on tempexprt_metas.$$$ that is located in the users temp directory.  This is on a windows 7 64 bit computer.  We have verified the user has rights to the file so that is not the issue.  We have also closed Prism and deleted the file.  The file is recreated so it should have the proper file access rights since it created the file once is was deleted.

Joachim Klein

unread,
Dec 6, 2017, 11:51:10 AM12/6/17
to prismmod...@googlegroups.com, dnshi...@gmail.com
Hi,
Could you give some more specific information on the steps that you are
doing to trigger that error?

In particular, PRISM's most current version is 4.4(beta), so it's not
clear what you mean by version 6/7.


Cheers,
Joachim
Reply all
Reply to author
Forward
0 new messages