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

//! Property-based tests using proptest.
//!
//! These tests use generative techniques to validate invariants
//! across large input spaces, ensuring robustness and stability.

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

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