This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 510

Summary:	Segmentation fault while verifying an LSC
Product:	UPPAAL	Reporter:	Maciej Pazurkiewicz <maciej.pazurkiewicz>
Component:	Engine	Assignee:	Alexandre David <adavid>
Status:	NEW ---
Severity:	normal
Priority:	P2
Version:	unspecified
Hardware:	PC
OS:	Linux
URL:	http://students.mimuw.edu.pl/~mp248267/ped-crossing.tar
Architecture:

Description Maciej Pazurkiewicz 2011-03-11 19:19:36 CET

Issue concerns UPPAAL in version 4.1.3 (4577).

I get a segmentation fault while trying to verify a property specified by a live sequence chart. The URL points to the model, in which the error occurs. Everything, apart from the LSC, works fine.