[package]
name = "prover-mutation"
version = "0.3.2"
description = "Move Prover mutation"
authors = ["Diem Association <opensource@diem.com>"]
edition = "2021"
license = "Apache-2.0"

[dependencies]
# diem dependencies
mv-compiler = { version = "0.3.0", path = "../../move-compiler" }
mv-model = { version = "0.3.0", path = "../../move-model" }
mv-prover = { version = "0.3.0", path = ".." }
move-stackless-bytecode = { version = "0.3.0", path = "../bytecode" }
# external dependencies
anyhow = "1.0.52"
clap = { version = "3.1.8", features = ["derive"] }
codespan = "0.11.1"
codespan-reporting = "0.11.1"
chrono = "0.4.19"
hex = "0.4.3"
itertools = "0.10.0"
log = { version = "0.4.14", features = ["serde"] }
num = "0.4.0"
serde = { version = "1.0.124", features = ["derive"] }
serde_json = "1.0.64"
simplelog = "0.9.0"