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

[package]
name = "assess-artifacts"
version = "0.1.0"
edition = "2021"

# See src/lib.rs for a comment on this tests's purpose

[package.metadata.kani]
flags = { assess=true, enable-unstable=true, workspace=true }

[workspace]
members = ["subpackage"]