hiatus (cargo): Debug concurrent programs by choosing specific execution traces
Keywords: tracing|concurrency|locking