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

Bug 678

Summary: Bug 620 - optimization query breaks with time-lock
Product: UPPAAL Stratego Reporter: Fatima <fshsho7>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: RESOLVED DUPLICATE    
Severity: enhancement    
Priority: P5    
Version: 4.1.20-pre4   
Hardware: PC   
OS: Windows 10   
Architecture:

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 ***