rssn 0.2.9

//! This is the kani verification module for rssn.
//! It contains all the verification code for rssn.
//!
//! Some dependencies are disabled when running kani.
//! This is because kani does not support some dependencies.

/// The kani verification module for symbolic/core
pub mod symbolic_core;