Run Explore Trace… Unchecked Check Explain Interface Core W LLVM IR Format Examples… hello: the first program tour: one mechanism, six acts fallible: the caller chooses what allocation failure means fixed_buffer: allocation from a caller-owned byte array dlist: a doubly linked list in a pool forkjoin: four threads over disjoint slices audio: a real-time callback that never allocates stream: a pipeline of handlers workers: a channel and a pool of tasks bugs/01: an error leaks an open transaction bugs/03: an Rc shared across threads bugs/07: a cache slot evicted under a borrow bugs/08: a task outlives its buffer bugs/12: a buffer grown under an element borrow http/evented_selftest: an HTTP/1.1 server and six clients on the completion executor http/blocking_selftest: the same server on a blocking thread pool bank/search: a simulated network searched for the history that breaks a bank (Explore) kvstore/search: a simulated disk searched for the crash that loses a write (Explore) kvd: writing your own executor (advanced) Share std reference