[package]
name = "truvm"
version = "0.0.0"
edition = "2021"
description = "Verification Methodology based on TRUV framework."
license = "MIT OR Apache-2.0"

[dependencies]