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

Bug 678 - Bug 620 - optimization query breaks with time-lock
Summary: Bug 620 - optimization query breaks with time-lock
Status: RESOLVED DUPLICATE of bug 620
Alias: None
Product: UPPAAL Stratego
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.20-pre4
Hardware: PC Windows 10
: P5 enhancement
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2020-04-28 15:30 CEST by Fatima
Modified: 2020-04-29 10:02 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Fatima 2020-04-28 15:30:43 CEST 

    


    


      



        
          Comment 1
        

        
          Fatima

        

        
        

        
          2020-04-29 10:02:57 CEST
        

      







*** This bug has been marked as a duplicate of bug 620 ***