List of all items

Structs

• Config
• PortfolioRunner
• Runner
• current::ChildLabelFn
• current::Labels
• current::TaskId
• current::TaskName
• future::JoinHandle
• future::batch_semaphore::Acquire
• future::batch_semaphore::AcquireError
• future::batch_semaphore::BatchSemaphore
• lazy_static::Lazy
• rand::rngs::ThreadRng
• scheduler::AnnotationScheduler
• scheduler::DfsScheduler
• scheduler::PctScheduler
• scheduler::RandomDataSource
• scheduler::RandomScheduler
• scheduler::ReplayScheduler
• scheduler::RoundRobinScheduler
• scheduler::Schedule
• scheduler::Task
• scheduler::TaskId
• scheduler::UncontrolledNondeterminismCheckScheduler
• sync::Arc
• sync::Barrier
• sync::BarrierWaitResult
• sync::Condvar
• sync::Mutex
• sync::MutexGuard
• sync::Once
• sync::OnceState
• sync::RwLock
• sync::RwLockReadGuard
• sync::RwLockWriteGuard
• sync::WaitTimeoutResult
• sync::Weak
• sync::atomic::AtomicBool
• sync::atomic::AtomicI16
• sync::atomic::AtomicI32
• sync::atomic::AtomicI64
• sync::atomic::AtomicI8
• sync::atomic::AtomicIsize
• sync::atomic::AtomicPtr
• sync::atomic::AtomicU16
• sync::atomic::AtomicU32
• sync::atomic::AtomicU64
• sync::atomic::AtomicU8
• sync::atomic::AtomicUsize
• sync::mpsc::IntoIter
• sync::mpsc::Iter
• sync::mpsc::Receiver
• sync::mpsc::RecvError
• sync::mpsc::SendError
• sync::mpsc::Sender
• sync::mpsc::SyncSender
• sync::mpsc::TryIter
• thread::AccessError
• thread::Builder
• thread::JoinHandle
• thread::LocalKey
• thread::Thread
• thread::ThreadId

Enums

• FailurePersistence
• MaxSteps
• future::JoinError
• future::batch_semaphore::Fairness
• future::batch_semaphore::TryAcquireError
• sync::atomic::Ordering
• sync::mpsc::RecvTimeoutError
• sync::mpsc::TryRecvError
• sync::mpsc::TrySendError

Traits

• annotations::WithName
• current::Tag
• current::Taggable
• lazy_static::LazyStatic
• rand::Rng
• rand::RngCore
• scheduler::DataSource
• scheduler::Scheduler

Macros

• lazy_static
• lazy_static::lazy_static
• thread_local

Functions

• annotate_replay
• check_dfs
• check_pct
• check_random
• check_random_with_seed
• check_uncontrolled_nondeterminism
• current::clock
• current::clock_for
• current::context_switches
• current::get_current_task
• current::get_label_for_task
• current::get_name_for_task
• current::get_tag_for_current_task
• current::get_tag_for_task
• current::me
• current::remove_label_for_task
• current::set_label_for_task
• current::set_name_for_task
• current::set_tag_for_current_task
• current::set_tag_for_task
• current::with_labels_for_task
• future::block_on
• future::spawn
• future::yield_now
• hint::assert_unchecked
• hint::black_box
• hint::cold_path
• hint::likely
• hint::must_use
• hint::spin_loop
• hint::unlikely
• hint::unreachable_unchecked
• lazy_static::initialize
• rand::thread_rng
• replay
• replay_from_file
• sync::atomic::compiler_fence
• sync::atomic::fence
• sync::mpsc::channel
• sync::mpsc::sync_channel
• thread::current
• thread::panicking
• thread::park
• thread::park_timeout
• thread::sleep
• thread::spawn
• thread::yield_now

Type Aliases

• thread::Result