Bug 527

Summary: Same model but different result
Product: UPPAAL Reporter: truongkhanhit
Component: EngineAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: normal    
Priority: P2    
Version: 4.1.4   
Hardware: PC   
OS: Windows XP   

Description truongkhanhit 2011-09-30 13:43:10 CEST
I have a model and I do the liveness checking then the result is Satisfied. Then I just remove the guard of a transition which is, to me, always True. Then the result is unsatisfied.