List of all items

Structs

• CompilationError
• CompilationResult
• UnsafeAuditReport
• UnsafeAuditor
• UnsafeBlock
• diff_test::DiffTestConfig
• diff_test::DiffTestResult
• diff_test::ExecutionOutput
• lock_verify::LockDisciplineChecker
• lock_verify::LockDisciplineReport

Enums

• UnsafePattern

Functions

• audit_rust_code
• diff_test::compile_c
• diff_test::compile_rust
• diff_test::diff_test
• diff_test::run_binary
• verify_compilation