sva-cli 0.7.9

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
// Concern: gathers every sva-cli integration suite into one test binary | Non-concern: what any suite asserts (its own module) | IO: none

mod analyze_integration;
mod bare;
mod composition_dir;
mod envelope;
mod help;
mod helpers;
mod lint;
mod lint_verdict;
mod outline;
mod panics;
mod render_integration;
mod scaffold;
mod store;
mod templates;
mod trace;