TorXakis / TorXakis

A tool for Model Based Testing

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lpe of procdef with hidden channels

pjljvandelaar opened this issue · comments

As a user I would like to transform all procdefs using lpe.
However, currently only procdefs with channels defined in CHANDEF and direction specified in MODELDEF are transformed.

For example, to lpe transform grab of the Wheel example.
I have to add

CHANDEF extra ::= Acquire
                ; Release
ENDDEF

and extend MODELDEF Model with

...
CHAN OUT ...
           , Acquire
           , Release
BEHAVIOUR ...