scher:Haskell的符号测试框架

【文件属性】：
文件名称：scher:Haskell的符号测试框架
文件大小：8KB
文件格式：ZIP
更新时间：2021-05-16 03:53:23
Haskell 舍尔 scher（发音为“ escher”）是一个实验库，用于利用Klee执行引擎对Haskell程序进行基于属性的符号测试。 这项工作是根据伦敦皇家霍洛威大学Matthew Hague的硕士论文进行开发的。 它正在大量开发中，并且出于所有目的和目的，都应考虑将其视为实验性软件。 我们将不胜感激所有反馈，包括错误报告，功能或文档要求，或仅提供注释。 入门 首先，您将需要： 符号执行引擎。 反过来，这需要LLVM。 我已经成功使用LLVM 2.9，但是如果您确实想要的话，应该可以使其与3.4一起使用。 llvm-gcc，您可以从。 标准库。 我修改过的编译器。 不幸的是，scher无法与GHC合作。 scher库本身（即此库）。 由测试跑步者。 有了所有需要的二进制文件后，只需确保它们在您的路径中，然后将此库放在jhc可以找到它的位置即可（一种快速而肮脏的方法是将Test文件夹

【文件预览】：
scher-master
----Test()
--------Scher.hs(89B)
--------Scher()
----LICENSE(1KB)
----Examples()
--------Addition.hs(139B)
----.gitignore(140B)
----README.md(3KB)