assura 0.2.0

Contract-first AI-native language. Write what it should do. AI proves it does.
1
2
3
4
5
6
7
8
9
10
11

//! Contract diff and evolution verification commands + tests.

use assura_parser::ast::*;
use std::fs;
use std::process;

mod cmd;
#[cfg(test)]
mod tests;

pub(crate) use cmd::*;