Possibly wrong error message
## Summary TITAN returns an error about an omit field, while the problem is not caused by an omit field as there is no omit field in the code. ## Steps and/or TTCN-3 code to reproduce Use this code in a module: ``` type record MyType8 { integer field1 optional }; testcase ref_subfield_unbound() runs on ct_empty{ var MyType8 v_rec; var integer v_rec2 := v_rec.field1; //error setverdict(pass); } ``` ## What is the current bug behavior? This error message is displayed in the log: Using the value of an optional field containing omit. ## What is the expected correct behavior? This would be more appropriate for an error message: "Copying an unbound integer value." This is the message that you get if you remove the optional keyword. The reason for this is that the field is not omitted but unbound. ## Relevant logs and/or screenshots ## Possible fixes ## Titan version 8.2.1 ## Platform details (OS type and version) Microsoft Windows 10 Enterprise 10.0.19042 /cc @aknappqwt
issue

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent