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

# This workspace test checks that the `--package` option prints a user-friendly
# error when the package isn't found in the workspace.

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

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

[workspace.metadata.kani.flags]
package = ["unknown_package"]