search

ocurrent / current-bench

Experimental benchmarking infrastructure using OCurrent pipelines
Apache License 2.0
33 stars 17 forks source link

Proof of concept of CB-checker #416

Closed ElectreAAS closed 1 year ago

ElectreAAS commented 1 year ago

This PR creates two new packages: cb-schema which is used internally as the one-stop API, and cb-check which is an executable taking in a file or stdin and checking that the produced json is of the correct format.

This would probably solve #385.

PS: I unified the various .ocamlformat files that were lying around for some reason, sorry for the noise

ElectreAAS commented 1 year ago

This is in draft format for the moment, because I can't get the packaging right, but the main code is ready for review @art-w @punchagan !

ElectreAAS commented 1 year ago

The new commit history should be much clearer, and allow for more precise reviewing. In the current state, the project doesn't build due to, I assume, linking problems at runtime (cb-schema not being available in dockers probably)

ElectreAAS commented 1 year ago

As #422 is now merged, the content is upstreamed, and with #424 the noise of the packaging has been resolved. I'll close this PR and associated issues as completed.