search

UPPAALModelChecker / docs.uppaal.org

This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
https://docs.uppaal.org
1 stars 13 forks source link

Update reserved keywords #42

Closed mikucionisaau closed 1 year ago

mikucionisaau commented 1 year ago

The section on keywords need to be updated to include new query features (minE, maxE).

thorulf4 commented 1 year ago

Interestingly minE and maxE are not yet keywords

thorulf4 commented 1 year ago

Similar issue exists with Pr as that is also a token. Maybe we should switch to an inline matching like with E in value estimation queries. But E is not a keyword and does not cause issues