/abc2msur

Primary LanguageErlangMIT LicenseMIT

abc2msur

The src folder contains the translator which takes an abc specification as input and produces msur program as output

Build

$ rebar3 compile

Require

erl
rebar3

This results in a folder _build where beam files are located.

Translation

Given an input abc specification with the name of "file.abc"

The command

erl -pa _build/default/lib/abc2msur/ebin/ -eval "abc2msur:file("examples/file.abc")" -run init stop -noshell

will produce a Msur specification with the name "file.msur" in the same location of abc file.

Verification

By using the toolset supporting the verification of msur specifications.