List of all items
Structs
- codegen::CodegenOptions
- event::EventLog
- event::IpcCall
- recording::EventRecorder
- recording::RecordedEvent
- recording::RecordedSession
- recording::StateCheckpoint
- registry::CommandArg
- registry::CommandInfo
- registry::CommandRegistry
- registry::ScoredCommand
- snapshot::DomElement
- snapshot::DomSnapshot
- snapshot::ElementBounds
- snapshot::WindowState
- types::Divergence
- types::MemoryDelta
- types::RefHandle
- types::VerificationResult
- verification::AssertionResult
- verification::ErrorCall
- verification::GhostCommand
- verification::GhostCommandReport
- verification::IpcIntegrityReport
- verification::SemanticAssertion
- verification::StaleCall
Enums
- error::VictauriError
- event::AppEvent
- event::InteractionKind
- event::IpcResult
- types::DivergenceSeverity
- verification::AssertionCondition
- verification::GhostSource
Functions
- codegen::generate_test
- codegen::generate_test_default
- registry::auto_discovered_commands
- verification::check_ipc_integrity
- verification::detect_ghost_commands
- verification::evaluate_assertion
- verification::verify_state