smc_scan 0.3.0

Statistical model checker for large concurrent systems.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! The main binary crate for SCAN statistical model checker.
//!
//! This crate is part of the [SCAN statistical model checker](https://convince-project.github.io/scan/)

#![warn(missing_docs)]
#![forbid(unsafe_code)]

use clap::Parser;
use scan::Cli;

fn main() -> anyhow::Result<()> {
    let cli = Cli::parse();
    env_logger::Builder::new()
        .filter_level(cli.verbosity.log_level_filter())
        .init();
    cli.run()
}