knowdit-repo-model 0.4.1

Smart contract auditing framework.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

pub mod cg;
pub mod db;
pub mod inheritance;
pub mod repo;
pub mod storage;

#[cfg(test)]
mod tests;

pub use inheritance::{ContractInherit, InheritanceGraph};

pub use repo::{
    CodeGenCore, CodeGenRecord, CodeGenStatus, CoverageEntry, FullSpecRegenIds, HarnessRunRecord,
    HistoricalLinkedFinding, HistoricalSemanticRecord, LoadedCodeGen, LoadedHarnessRun,
    LoadedSpecification, LoadedValidFinding, METADATA_KEY_PROFILE, MatchStrength,
    PendingReflection, ProjectComponent, ProjectProfile, ProjectSubsystem, ReflectionRecord,
    ReflectionResult, ReflectionWipeStats, RegenEventRecord, RepoDatabase, RunKind, SemanticMatch,
    SemanticMatchSet, ValidFindingRecord,
};