List of all items

Structs

• Execution
• Lincheck
• checker::LinearizabilityChecker
• recorder::InitPartRecorder
• recorder::ParallelPartRecorder
• recorder::PerThreadRecorder
• recorder::PostPartRecorder
• scenario::Scenario

Traits

• ConcurrentSpec
• SequentialSpec
• recorder::Recorder

Functions

• recorder::record_init_part
• recorder::record_init_part_with_capacity
• recorder::record_parallel_part
• recorder::record_parallel_part_with_capacity
• recorder::record_post_part
• recorder::record_post_part_with_capacity
• scenario::check_scenario_with_loom
• scenario::execute_scenario_with_loom

Type Aliases

• ConcOp
• ConcRet