Requirements for dune inline tests

@olafhering wrote:

In this c-cube/gen issue the maintainer claims dune runtest works for him, while it fails for me with unexpanded variables in the qtest extract '${impl-files}' '${intf-files}' command. This is the dune file:

(library
  (public_name gen)
  ....
  (inline_tests (backend qtest.lib))
)

What are the prerequisites to successfully do such inline tests? I have “the latest” qtest,qcheck,dune in the build chroot, and on my workstation.

Posts: 5

Participants: 2

Read full topic