Closed Ansaya closed 4 years ago
Hi Michele,
It is possible to use this construct only with ASN.1 constants, as the tool is not capable to ensure in the general case the current range of the variable.
If you declare high and low as ASN.1 constants like this in the ASN.1 model:
And declare a variable like this:
Then you can safely use high and low in decision answers:
Hello, I would like to implement a value check as reported in the following image, but during the model verification OpenGEODE still complains about the fact that![image](https://user-images.githubusercontent.com/17298570/85916411-de053880-b850-11ea-8c08-19dbc502aeb0.png)
[ERROR] Answers of decision "val" could overlap
, while it can not happen because of the first check performed, which clearly states "high > low".Here there is the example file along with the asn types definition. issue.zip