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

Bug 335

Summary: Null pointer exception with --exportToEPS
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 4.0.1   
Hardware: All   
OS: All   

Description Gerd Behrmann 2006-07-07 21:37:16 CEST
When using the --exportToEPS for the UPPAAL GUI, a null pointer exception is thrown.
Comment 1 Gerd Behrmann 2006-07-07 21:50:38 CEST
Fixed on the trunk from rev. 2401.
Comment 2 Gerd Behrmann 2006-07-08 13:02:08 CEST
Fixed on the 4.0 branch from rev. 2406.