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

Bug 273

Summary: Template local type definitions cause a segfault
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: major    
Priority: P2    
Version: 3.6 Alpha 1   
Hardware: All   
OS: All   

Description Gerd Behrmann 2006-02-21 15:45:09 CET
The engine segfaults if one tries to verify a model with template local type
definitions, e.g. 'typedef int x_t'.
Comment 1 Gerd Behrmann 2006-02-21 15:50:36 CET
Fixed on the trunk (rev. 1548).