Usage of '*' for mandatory fields is not checked at runtime
Submitted by Botond Baranyi
Link to original bug (#514295)
Description
Created attachment 267490 Example TTCN-3 module
According to the TTCN-3 standard AnyValueOrNone () may not be used for mandatory fields of record/set templates. This is only checked at compile-time. Any templates that are not known at compile-time can still use '' for mandatory fields.
A check should be added at runtime, to ensure that '*' is not used for mandatory fields.
See also attached example.
Attachment 267490, "Example TTCN-3 module":
temp_pard_anyoromit.ttcn
Version: 6.1.0