The Coq mailing list

[Beta Ziliani <beta AT mpi-sws.org>]

Hi, devs,

In one line: is there a library with every ml module in coq?

In two: I would like to write some unit tests for my  plugin. For that, I created a .ml file that opens the plugin module and test some functions inside it. I can compile it ok but now I need to link it with every cmo file in the source code of Coq. Is there another way?

Thanks in advance,
Beta