sva-cli 0.7.18

The command-line front end for SVA
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

# Concern: declares the package, its binary target and the crates the CLI composes | Non-concern: the deny edges barring anything from depending on it (.annotated-tree.toml) | IO: none
[package]
name = "sva-cli"
description = "The command-line front end for SVA"
version.workspace = true
edition.workspace = true
license.workspace = true
repository.workspace = true

[[bin]]
name = "sva-cli"
path = "src/main.rs"

[dependencies]
sva-ast = { workspace = true }
sva-core = { workspace = true }
sva-engine = { workspace = true }
sva-formula = { workspace = true }
hound = "3.5.1"
signal-hook = "0.3"