Most Frequently Reported Bugs

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

No duplicate bugs found.

Change Parameters

Restrict to products:
When sorting or restricting, work with:	entire list currently visible list
Max rows:
Change column is change in the last:	days
Open bugs only:

What are "Most Frequently Reported Bugs"?

The Most Frequent Bugs page lists the known open bugs which are reported most frequently, counting the number of direct and indirect duplicates of bugs. This information is provided in order to assist in minimizing the amount of duplicate bugs entered into Bugzilla, which saves time for Quality Assurance engineers who have to triage the bugs.

How do I use this list?

Review the most frequent bugs list.
If your problem is listed:

Click on the bug number to confirm that you have found the same bug, and comment if you have additional information or move on with your testing of the product.

If your problem not listed:

Try and locate a similar bug that has already been filed.
If you find your bug in Bugzilla, feel free to comment with any new or additional data you may have.
If you cannot find your problem already documented in Bugzilla, file a new bug.