Bug 527 - Same model but different result
Summary: Same model but different result
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.4
Hardware: PC Windows XP
: P2 normal
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2011-09-30 13:43 CEST by truongkhanhit
Modified: 2011-09-30 13:43 CEST (History)
0 users

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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.