Murphi Trace Visualizer

Overview

Murphi Trace Visualizer is a tool designed to assist developers in debugging by providing a visual representation of traces. This tool aims to simplify the process of understanding and analyzing the flow of execution, making it easier to pinpoint issues and understand complex trace logs.

Features

• Visual representation of Murphi traces.
• User-friendly interface for easy navigation and analysis.
• Supports various formats of trace logs.

Installation

No specific installation procedures are required. The tool is ready to use upon download.

Usage

To use the Murphi Trace Visualizer, ensure you have Node Version Manager (nvm) installed with Node.js version 16. Follow these steps:

1. Clone the repository or download the source code to your local machine.
2. Open a terminal and navigate to the project directory.
3. Run nvm use 16 to switch to Node.js version 16.
4. Start the application by running npm start.
5. For the trace, please copy from Startstate Startstate 0 fired. to End of the error trace.
6. For better use, please use "-tf" command of Murphi Compiler to write full states in trace.

Dependencies

• Node.js (Version 16)
• NPM (Node Package Manager)

Contributing

Contributions to the Murphi Trace Visualizer are welcome. If you have ideas for improvements or have found a bug, please open an issue or submit a pull request.