## cli.main()


Run the `sverify` command with `argv` (default: `sys.argv[1:]`) and


Usage

``` python
cli.main(argv=None)
```


return its exit code: 0 proved (a refresh committed every row), 1 not proved, 2 usage error, 3 unsupported or refused, 4 time or memory budget exceeded, 5 a refresh quarantined rows or held a node, 6 error.