Bug 510

Summary: Segmentation fault while verifying an LSC
Product: UPPAAL Reporter: Maciej Pazurkiewicz <maciej.pazurkiewicz>
Component: EngineAssignee: 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

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.