[dependencies]
[package]
authors = ["Hanliang Zhang <hanliangzhang.cm@gmail.com>"]
description = "Annotations that are useful for the static analyser Crown"
edition = "2021"
homepage = "https://github.com/KomaEc/crown"
keywords = ["static-analysis"]
license = "MIT OR Apache-2.0"
name = "crown-annotation"
version = "0.1.0"