sentri-cli 0.3.0

Sentri: multi-chain smart contract security analyzer with static analysis, invariant checking, and vulnerability detection for Solana, EVM, and Move programs.
1
2
3
4
5
6
7
8
9
10
11
12
13

//! Security-focused tests for invariant validation.
//!
//! These tests ensure the analysis and validation pipeline correctly
//! identifies security issues and produces accurate security reports.

#[path = "security/mod.rs"]
mod security;

// Dummy test to make Cargo recognize this as a test binary
#[test]
fn _security_tests_available() {
    // This test always passes - it exists only to make Cargo discover this test binary
}