Skip to content

CaSolver Py

Tânia Esteves edited this page Sep 7, 2021 · 2 revisions

Overview

CaSolver-Py is the Python version of CASolver

Requirements

  • Python 3.8 (with pip support)

Installation

  1. Run sudo pip install -e . to install it locally and to make `casolver-py available globally.

Usage

It receives as input the trace generated by the falcon-solver component and outputs a new file, with events similarities, to feed to the falcon-visualizer component.

casolver-py --event_file [file path] --output_file [file_path]

Clone this wiki locally