Last Version

RT Trace Viewer Plugin 3.0.2

Graphical tool to display execution trace of a VDM RT model. Enables the user to see thread switched and bus traffic.

License	License GNU General Public License (GPL) version 3
Categories	Categories IDE Development Tools
GroupId	GroupId org.overturetool.ide.plugins
ArtifactId	ArtifactId org.overture.ide.plugins.rttraceviewer
Version	Version 3.0.2
Type	Type eclipse-plugin
Description	Description RT Trace Viewer Plugin Graphical tool to display execution trace of a VDM RT model. Enables the user to see thread switched and bus traffic.
Project Organization	Project Organization Overture

Download org.overture.ide.plugins.rttraceviewer 3.0.2

Filename	Size
org.overture.ide.plugins.rttraceviewer-3.0.2.pom
org.overture.ide.plugins.rttraceviewer-3.0.2.jar	108 KB
org.overture.ide.plugins.rttraceviewer-3.0.2-sources.jar	71 KB
org.overture.ide.plugins.rttraceviewer-3.0.2-p2metadata.xml	3 KB
org.overture.ide.plugins.rttraceviewer-3.0.2-p2artifacts.xml	594 bytes
Browse

Dependencies

test (1)

Group / Artifact	Type	Version
junit : junit	jar	3.8.1

Project Modules

There are no modules declared in this project.