checkers-0.7.1
- checkers 0.7.1
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- udoprog
- Dependencies
- checkers-macros ^0.6.2 normal optional
  rustc-hash ^2 normal optional
  lazy_static ^1.4.0 dev
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs

Rust

All

checkers0.7.1

Crate Items

Macros
Structs
Enums
Functions
Attribute Macros

List of all items

Structs

AllocZeroed
Allocator
Events
Machine
MuteGuard
Pointer
Realloc
ReallocNull
Region
Request
Snapshot
State

Enums

Event
Violation

Macros

verify

Attribute Macros

test

Functions

is_muted
mute_guard
with
with_muted
with_state
with_unmuted