cli.main()

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

Usage

Source

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.