ounit

1热度

1回答

我有一个简单的模块来测试几个内联pa_ounit测试，我已经设置了绿洲风格的目录，并得到它的一切建立。因为我一直在使用一个参考：https://github.com/janestreet/textutils 一个将如何执行单元测试用于上述回购？我假设有一个可执行的.ml文件可以编写，但是这是怎么回事，它是如何构建的，它是否以任何方式扩展了在模块级别描述的测试？我读过pa_ounit的文档，他们

1热度

2回答

模块案例名称混淆

我犯了更新软件的错误，现在我无法运行任何OUnit测试。我想我已经设法将问题归结为一个简单的REPL会话。 $ ocaml -I /opt/local/lib/ocaml/site-lib/oUnit OCaml version 4.01.0 # Ounit.assert_equal;; Error: Wrong file naming: /opt/local/lib/ocam

0热度

2回答

在本地目录中使用ocamlfind

由于我在工作站上没有root访问权限，因此我在本地安装了oUnit到〜/ ounit中。我可以加载模块中的解释，如果我跑 ocaml -I ~/ounit/oUnit 现在我想运行测试，所以我尝试编译： ocamlfind ocamlc -o test -package oUnit -I ~/ounit/oUnit -linkpkg -g foo.ml test.ml 不幸的是，ocaml

0热度

1回答

OUnit：声明值是类型的实例

在OCaml中使用OUnit单元测试框架，我想测试函数的评估结果是指定类型的一个实例。在Python中定义的PyTest这样的测试将做如下： def test_foo(): assert isinstance(foo(2), int) 怎么能这样的逻辑被翻译成OUnit？也就是说，如何指定类型成员资格的断言？我知道，假设被测函数是用适当的类型签名来注释的，这个测试可能是不必要的。

1热度

1回答

是否有oUnit

我与oUnit2玩弄，我想知道test_ctxt`的`任何使用：有没有为test_ctxt参数的任何使用，如下： let test1 test_ctxt = assert_equal "x" (Foo.unity "x");; 是似乎是多余的我。将测试定义为变量时有什么方法可以省略它吗？

2热度

1回答

在OCaml中为模块编写单元测试的正确方法

我在module.mli文件中给出了给定的接口规范。我必须在module.ml文件中编写它的实现。 module.mli提供了一个抽象类型 type abstract_type 我使用OUnit来创建测试。我需要在其中使用类型的实现。（例如比较值）一种解决方案是扩展接口以包含测试中使用的其他功能。但是可以在不修改界面的情况下做这样的事情吗？