Erlang的QuickCheck启发式属性测试工具
https://proper-testing.github.io
许可证: GPL-3.0-or-later
公式JSON API: /api/formula/proper.json
公式代码: proper.rb
在GitHub上
提供瓶装(二进制包)安装支持
Apple Silicon | sonoma | ✅ |
---|---|---|
ventura | ✅ | |
monterey | ✅ | |
big sur | ✅ | |
Intel | sonoma | ✅ |
ventura | ✅ | |
monterey | ✅ | |
big sur | ✅ | |
catalina | ✅ | |
64-bit linux | ✅ |
当前版本
稳定版 | ✅ | 1.4 |
依赖
erlang | 26.2.5 | 用于高度可扩展实时系统的编程语言 |
从源代码构建时依赖
rebar3 | 3.23.0 | Erlang构建工具 |
要在Erlang中使用PropEr,您可能需要 export ERL_LIBS=$HOMEBREW_PREFIX/opt/proper/proper-1.4 |
分析
安装(30天) | |
---|---|
正确 |
32 |
请求安装(30天) | |
正确 |
32 |
构建错误(30天) | |
正确 |
0 |
安装(90天) | |
正确 |
69 |
请求安装(90天) | |
正确 |
69 |
安装(365天) | |
正确 |
408 |
proper --HEAD |
1 |
请求安装(365天) | |
正确 |
408 |
proper --HEAD |
1 |