TAPAAL

Bug #494902
Comment #1

Comment 1 for bug 494902

Revision history for this message

Morten Jacobsen (mortenja) wrote on 2009-12-10: Re: Sometimes it is not possible to delete a place

#1

Try to delete Gate_Mutex. This fails in the current development version of TAPAAL. Edit (13.2 KiB, text/xml)