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=auto
Load the verifier with
julia> using ElectionGuardVerifier
Load the election records with
julia> er = load(".");
Check the election records with
julia> check(er)
The final line of output is
true
if the election records pass all tests, otherwise it isfalse
.Exit Julia with
exit()
or type cntl-D.