# Copyright Kani Contributors
# SPDX-License-Identifier: Apache-2.0 OR MIT

# This workspace test checks that the `--exclude` option removes the
# `ws-package-exclude` package from the packages to verify.

[package]
name = "ws-package-exclude"
version = "0.1.0"
edition = "2021"

[workspace]
members = ["lib_package", "bin_package"]

[workspace.metadata.kani.flags]
workspace = true
exclude = ["ws-package-exclude"]