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

Bug 294

Summary: Uppaal seg fault on ? : expression
Product: UPPAAL Reporter: Anders Rune Jensen <arj>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: major    
Priority: P1    
Version: 3.6 Alpha 5   
Hardware: All   
OS: All   
Architecture:

Description Anders Rune Jensen 2006-03-15 12:54:24 CET 
The bug can be reproduced using the following function:

int min(int lhs, int rhs)
{
        return (lhs < rhs) ? lhs : rhs;
}

The problem crashes verifyta (in gdb it looks like an infinite loop) and in the GUI one looses connection to the server.
Comment 1 Gerd Behrmann 2006-03-15 14:36:41 CET 
Interesting. I will take a look.
Comment 2 Gerd Behrmann 2006-03-15 20:42:09 CET 
Fixed on the trunk from rev. 1650.