[workspace]
members = [
    "crates/engine",
    "crates/kani-verification",
]
resolver = "2"