GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

not compatible with Erlang/OTP 20

#64

· debalance opened

on Nov 25, 2017

replace random module with rand (Erlang 19+)

#59

· luc-tielen opened

on Jul 4, 2016

Any tagged version or release branch?

#57

· linearregression opened

on Feb 12, 2016

Integrate with code coverage?

#56

· linearregression opened

on Feb 12, 2016

Add generator for maps

#55

· luc-tielen opened

on Oct 18, 2015

<code>{var, N}</code> leaks into postcondition/3 in a statem

#52

· fishcakez opened

on May 8, 2015

Add support for equals/2 and conjunction/1

#51

· hlieberman opened

on Mar 30, 2015

Handling of Pull Requests

#47

· zkessin opened

on Feb 1, 2015

export list of properties from a module

#45

· zkessin opened

on Dec 28, 2014

Run for a period of time

#44

· zkessin opened

on Dec 28, 2014

Shrinker is too eager

#37

· essen opened

on Dec 14, 2014

pdict_fsm_test fails

#33

· krestenkrab opened

on Nov 17, 2014

0