Bug 521194 - Extra TTCN-3 file
Summary: Extra TTCN-3 file
Status: UNCONFIRMED
Alias: None
Product: EFM
Classification: Modeling
Component: symbex (show other bugs)
Version: modeling-0.0.1   Edit
Hardware: PC Windows 7
: P3 normal
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-08-21 09:12 EDT by Pragma Dev CLA
Modified: 2017-08-21 09:12 EDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Pragma Dev CLA 2017-08-21 09:12:47 EDT 
After a symbolic exploration, some TTCN-3 files are generated:
 - TTCN_Declarations.ttcn3
 - TTCN_Templates.ttcn3
 - TTCN_TestsAndControl.ttcn3
 - TTCN_ControlPart.ttcn3
An additional file called TTCN_global.ttcn3 that gathers the content of all the other files is also generated. This is redundant with the other files. It should be one or the other.
Is there a way to prevent the generation of TTCN_global.ttcn3 ?