Concuerror:Concuerror是用于Erlang程序的无状态模型检查工具 源码

犯错 Concuerror是用于Erlang程序的无状态模型检查工具。 它可用于系统地测试程序的并发错误,检测和报告仅在少数特定计划中发生的错误,或验证其不存在。 以获取文档,示例,教程,出版物以及更多内容! 支持的OTP版本 如何建造 编译: make 构建文档: make edoc 运行测试套件: make tests tests-real tests-unit变为make tests tests-real tests-unit 运行透析仪: make dialyzer 运行猫王: make lint 检查代码覆盖率: make cover 清理: make clean 启