extern data related missing wellformedness checks
This snippet should be flagged as not wellformed, until data contracts are supported in Dezyne.
...
behavior
{
extern int $int$;
int cmd = $0$;
[cmd == $0$] on event:
...
This snippet should be flagged as not wellformed, until data contracts are supported in Dezyne.
...
behavior
{
extern int $int$;
int cmd = $0$;
[cmd == $0$] on event:
...