Packages

Property based testing library for exploring different executions in an imperative style.