content: [workspace]
  members = [
      "verismo_main",
      "verismo",
      "verismo_macro"
  ]
  
  [workspace.dependencies]
  # Verus repos
  builtin = { git = "https://github.com/ziqiaozhou/verus", rev ="7c4a5274a4d74522f3965eb038bb7e22fa5eebef" }
  vstd = { git = "https://github.com/ziqiaozhou/verus", rev ="7c4a5274a4d74522f3965eb038bb7e22fa5eebef", features = ["alloc"], default-features = false }
  builtin_macros = { git = "https://github.com/ziqiaozhou/verus", rev ="7c4a5274a4d74522f3965eb038bb7e22fa5eebef" }
  syn_verus = { git = "https://github.com/ziqiaozhou/verus", rev ="7c4a5274a4d74522f3965eb038bb7e22fa5eebef", features = ["full", "visit-mut", "extra-traits"] }
  prettyplease_verus = { git = "https://github.com/ziqiaozhou/verus", rev ="7c4a5274a4d74522f3965eb038bb7e22fa5eebef" }
  
  # the profile used for `cargo build`
  [profile.dev]
  panic = "abort" # disable stack unwinding on panic
  incremental = true
  
  # the profile used for `cargo build --release`
  [profile.release]
  panic = "abort" # disable stack unwinding on panic
  incremental = true
  debug = false
  