1#![deny(unsafe_code)]
2pub mod error;
8pub mod event;
9pub mod recording;
10pub mod registry;
11pub mod snapshot;
12pub mod types;
13pub mod verification;
14
15pub use error::VictauriError;
16pub use event::{AppEvent, EventLog, IpcCall, IpcResult};
17pub use recording::{EventRecorder, RecordedEvent, RecordedSession, StateCheckpoint};
18pub use registry::{CommandArg, CommandInfo, CommandRegistry, ScoredCommand};
19pub use snapshot::{DomElement, DomSnapshot, WindowState};
20pub use types::{MemoryDelta, RefHandle, VerificationResult};
21pub use verification::{
22 AssertionResult, GhostCommand, GhostCommandReport, GhostSource, IpcIntegrityReport,
23 SemanticAssertion, check_ipc_integrity, detect_ghost_commands, evaluate_assertion,
24 verify_state,
25};