Menu ▾ ▴

#30 A[] not deadlock -> crash in portsrv.exe

open
John Håkansson
uppaal-port (14)
5
2008-01-11
2008-01-09
Davor Slutej
No

In Uppaal Port (0.47), verification of the property

A[] not deadlock

leads to a crash in portsrv.exe.

Discussion

  • Davor Slutej

    Davor Slutej - 2008-01-11
    • assigned_to: nobody --> john-h
     

  • Paul Pettersson

    Paul Pettersson - 2008-01-12

    Logged In: YES
    user_id=1899214
    Originator: NO

    The same is true for leads to properties (-->).

     

Log in to post a comment.

Auth0 Logo