cramino
cramino copied to clipboard
Optionally output as json
Optionally output the metrics as a (pretty printed) json
Indeed, a machine-readable output format would be fantastic. Even something like a CSV would be nice.