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:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	ASSIGNED ---
Severity:	enhancement
Priority:	P2
Version:	unspecified
Hardware:	All
OS:	All
Architecture:

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.