#4 Mapping file (.tamap) required even if not needed

[Davor Slutej]

Generation for Uppaal Port requires a Mapping file (.tamap) even if there are no data ports defined. (i.e.
no mapping takes place)

[Anders Pettersson]

Logged In: YES
user_id=225711
Originator: NO

Need test case to investigate this bug.

[Davor Slutej]

Logged In: YES
user_id=803361
Originator: YES

See attached project.

Dummy model in TA has no ports other than trigger ports.

From TA editor: Open Mapping dialog. Won't work because "no variable declared, mapping not possible."

From Arch-editor: Generation -> System Description. OK.
From Arch-editor: Generation -> To Uppaal Port. OK, but warns that there is no mapping file.
File Added: TheMappingDilemma.rar

[Davor Slutej]

Mapping...