June 12, 2013

Mikhail shared this idea

I get Error generating report:

Exception: ExnDuringExecution
../compiler/TopLevel/interact/evalloop.sml:296.17-296.20
../compiler/TopLevel/interact/evalloop.sml:44.55
../compiler/Basics/stats/stats.sml: 198.40
../compiler/Execution/main/isolate.sml:26.50
../compiler/TopLevel/interact/evalloop.sml: 44.55
../compiler/Execution/main/execute.sml: 49.48-49.60

when I execute Save Report. I load the network, initialize the state (Simulation / left button), execute Enter SS, (optionally) Calculate SS and then Save Report.

CPN Tools 3.4.0, also reproduced on 3.0.3. Windows 7 x64 Home Edition

August 9, 2013

Michael WestergaardAdminMichael Westergaard (Code and Support Guy, CPN Tools) responded

Declined

It seems the SCC graph is not computed; this is necessary for saving the report.

September 10, 2013

Mikhail commented

Yes, you are right. I found this after an hour of trying and reporting as bug. It would be very useful to make error message more clear

November 26, 2013

Anonymous commented

I have the same error. And until the moment I failed to solve the problem. CPN Tools 4.0.0 report that the SCC graph is computed. I don’t know what happen…

December 03, 2014

Peng commented

CPN Tools 4.0.0 report that the SCC graph is computed.

December 17, 2014

Anonymous commented

Same also , i have this error when my graph got too much details

Delete constraints
Exception: ExnDuringExecution on evalution of CTL-formula

You must be logged in to post a comment.