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 ElectionGuardVerifier1XLoad and then check the election records with
julia> validate(".")The final line of output is
trueif the election records pass all tests, otherwise it isfalse.Exit Julia with
exit()or type cntl-D.