RefinedRust verification framework

Usage: cargo refinedrust [<RefinedRust options>] -- [<cargo options>]

RefinedRust Options:
      --no-assumption      Require specifications to not be assumed
      --show-config        Display the detected configuration
  -h, --help               Print help
  -V, --version            Print version info