To edit the code locally use the repository here:

~/go/src/github.com/SRI-CSL/gllvm

Then do:

go install github.com/SRI-CSL/gllvm/cmd/...


To format for the badge:

gofmt -s -w shared/*.go cmd/*/*.go



For linting:

https://github.com/alecthomas/gometalinter

gometalinter.v2 ./...