Closed chetmurthy closed 3 years ago
My understanding is that, in general for jane street packages, the source code of tests is exported but they are not really intended to be run just yet, as there are difficulties. I don't remember offhand what the problems are, but I have the vague recollection that better support for running tests requires progress on this duniverse, which is happening. So I'm going to close this, but I think this will naturally happen eventually.
I'm trying to figure out how to run the tests for this package, but get an error:
Any suggestions for how to run these tests? I forgot to mention that I have the package installed: