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

Bug 408

Summary: Non-terminating code hangs UPPAAL core
Product: UPPAAL Reporter: Lasse Bigum <zenith>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P3    
Version: unspecified   
Hardware: All   
OS: All   
Architecture:

Description Lasse Bigum 2007-03-26 09:54:18 CEST 
I had a loop in the declaration of a template which involved a while-loop that were to terminate once a variable increased beyond a certain value. In my haste I forgot to increment this value, and as a result, UPPAAL became unresponsive.

I suggest to implement some bound on the number of iterations that are tested, or an upper limit on the amount of time some code are allowed to run before UPPAAL stops checking it. This allows silly users (like me) to get in trouble. The problem is that there is no indications of the problem, and the user will need some knowledge of how UPPAAL works in order to find out that the code is the problem.
Comment 1 Gerd Behrmann 2007-03-26 15:16:20 CEST 
This is not a bug. It was a design decision to not unfold user declared functions. It is the users responsibility to ensure, that functions terminate. This should probably be documented better.

At best I will take this bug as a request for enhancement, but to be honest, I will get rather low priority.