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

Unspecified delay due to missing invariant and exponential rate bug #291

Open JacobGuld opened 2 months ago

JacobGuld commented 2 months ago

Describe the bug Tried to run the query: simulate[<=100]{px,py} under Goal my model. vectorRace.xml.zip

To Reproduce Steps to reproduce the behavior:

  1. Go to verifier
  2. Check the query : simulate[<=100]{px,py} under Goal
  3. See error

Expected behavior A clear and concise description of what you expected to happen.

Version(s) of UPPAAL tested 5.0.0: Error 5.1.0-beta5: Error

Screenshots Screenshot 2024-09-26 at 11 02 03

Desktop (please complete the following information):

Additional context Add any other context about the problem here.