search

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
36 stars 10 forks source link

Make ortac load a subset of plugins #195

Open n-osborne opened 7 months ago

n-osborne commented 7 months ago

This PR is based on #194, please consider only the last commit.

This PR proposes to load the installed subset of plugins. This will be useful for testing the dune plugin, and for generating dune file using the dune plugin when testing the other ones.

The adopted convention is to separate the plugins names with a comma.

n-osborne commented 7 months ago

Thanks. It turns out that (at the moment at least) the dune plugin doesn't generate rules that need two loaded plugins. I propose to keep this PR unmerged until we need its modifications (if or when the monolith plugin is revived, it may certainly be useful).