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

Bug 390

Summary: duplicate verification checks
Product: UPPAAL Reporter: Lasse Bigum <zenith>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P2    
Version: unspecified   
Hardware: All   
OS: All   

Description Lasse Bigum 2007-02-09 11:38:22 CET
Often you have many similar, although slightly distinct queries you want enter into the verifier, and it would be nice if there was a "Duplicate" or "Clone" button for creating a identical copy of the query you just entered.

Also, why are empty queries not deleted?
Comment 1 Gerd Behrmann 2007-02-09 12:26:11 CET
Not a bad idea, although you can easily copy'n'paste the query.

As for deleting empty queries, people like inserting some space to visually group queries.
Comment 2 Lasse Bigum 2007-02-09 13:20:25 CET
Understand the empty query argument, but I would still like to see the duplicate button implemented. Even though and paste is easy, duplicating is even easier.