Provide option to run default time-bound analysis automatically on textual tmsc trace #16

Closed

Assignees

Labels

Yuri-Blankenstein-TNO

opened

Add an option to the textual syntax to run the default time-bound analysis as part of tmsc reconstruction.

Metadata

Assignees

Yuri-Blankenstein-TNO

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests