The src folder contains the translator which takes an abc specification as input and produces msur program as output
$ rebar3 compile
erl
rebar3
This results in a folder _build where beam files are located.
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.
By using the toolset supporting the verification of msur specifications.