基于属性的测试功能概述
基于属性的测试（PBT）框架具有许多不同的功能，但是哪个库支持哪些功能？ 对于PBT新手来说，很难说出来。
为了测试命令式API，一个具有状态机支持的框架将是不错的选择。
集成收缩对于大型开发来说可能是个不错的功能，在这种情况下，编写自定义收缩器可能就不可行了。
...
此概述是为了帮助自己保持跟踪。 在多年的已被汇编。 随着功能逐渐添加到框架中，不幸的是，表的条目可能会过时。 YMMV。
我很乐意接受PR来更新条目和添加新框架。
框架功能
框架
语
收缩
诠释shr。
状态机
面值英石。 马赫。
埃尔朗
:check_mark:
:check_mark:
:check_mark:
:check_mark:
埃尔朗
:check_mark:
:check_mark:
:check_mark:
:check_mark:
哈斯克尔
:check_mark:
哈斯克尔
:check_mark:
:check_mark:
:check_mark:
:check_mark:
Scala / JVM
