|Summary:||duplicate verification checks|
|Product:||UPPAAL||Reporter:||Lasse Bigum <zenith>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
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.