File size: 94 Bytes
4953a87 | 1 2 3 4 5 6 7 | [workspace]
members = [
"crates/engine",
"crates/kani-verification",
]
resolver = "2"
|
4953a87 | 1 2 3 4 5 6 7 | [workspace]
members = [
"crates/engine",
"crates/kani-verification",
]
resolver = "2"
|