10 lines
119 B
TOML
10 lines
119 B
TOML
[package]
|
|
name = "hoare_test"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
|
|
[dependencies]
|
|
contracts = "0.6"
|
|
|
|
[dev-dependencies]
|