interweave 0.1.0

Stateless model checker for concurrent programs: watch Optimal DPOR explore interleavings of async processes on a deterministic from-scratch executor.
Documentation 
1
2
3

max_width = 100
comment_width = 100
wrap_comments = true