Usage
To run the verifier, change your directory to the location of the election records. It's the directory that contains a manifest.json file.
Start the Julia interpreter with
$ julia --threads=autoLoad the verifier with
julia> using ElectionGuardVerifierLoad the election records with
julia> er = load(".");Check the election records with
julia> check(er)The final line of output is
trueif the election records pass all tests, otherwise it isfalse.Exit Julia with
exit()or type cntl-D.