Skip to content

CaSolver Go

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

Overview

CaSolver-Go is the Go version of CASolver

Requirements

  • Go 1.14+

Installation

  1. Run go build . or go install to build the casolver-go binary. (When using the latter, the binary is placed at $GOPATH/bin).

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-go --event_file [file path] --output_file [file_path]