search

UPPAALModelChecker / UPPAAL-Meta

This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.
http://www.uppaal.org
1 stars 0 forks source link

Incomplete error message #277

Open magoorden opened 5 months ago

magoorden commented 5 months ago

Describe the bug If I make a typo in a query resulting in mentioning a non-existing location, I get an incomplete error message has no member named <wrong location name>. This sentence is missing the component name. Only if a user selects Details is one able to get this information.

Screenshot 2024-06-11 at 14 44 09

To Reproduce Steps to reproduce the behavior:

  1. Open one of the example models
  2. Go to the verifier tab
  3. Create a query that uses a non-existing location name
  4. Try to run the query

Expected behavior A sentence like <Component> has no member named <wrong name>.

Version(s) of UPPAAL tested Uppaal v5.0.0, Uppaal v5.1.0-beta5

Desktop (please complete the following information):