content: [package]
  name = "move-prover"
  version = "0.1.0"
  authors = ["Diem Association <opensource@diem.com>"]
  publish = false
  edition = "2021"
  license = "Apache-2.0"
  
  [dependencies]
  anyhow = { workspace = true }
  atty = { workspace = true }
  clap = { workspace = true, features = ["derive"] }
  codespan-reporting = { workspace = true }
  itertools = { workspace = true }
  log = { workspace = true, features = ["serde"] }
  move-abigen = { workspace = true }
  move-command-line-common = { workspace = true }
  move-compiler = { workspace = true }
  move-compiler-v2 = { workspace = true }
  move-docgen = { workspace = true }
  move-errmapgen = { workspace = true }
  move-model = { workspace = true }
  move-prover-boogie-backend = { workspace = true }
  move-prover-bytecode-pipeline = { workspace = true }
  move-stackless-bytecode  = { workspace = true }
  once_cell = { workspace = true }
  serde = { workspace = true, features = ["derive"] }
  simplelog = { workspace = true }
  toml = { workspace = true }
  
  [dev-dependencies]
  datatest-stable = { workspace = true }
  move-prover-test-utils = { workspace = true }
  shell-words = { workspace = true }
  tempfile = { workspace = true }
  walkdir = { workspace = true }
  
  [[test]]
  name = "testsuite"
  harness = false
  