Getting Started Documentation

Organisations ocaml-gospel ortac

ortac

https://github.com/ocaml-gospel/ortac

Default Branch

Merge pull request #223 from n-osborne/fix-lower-bounds Fix lower bounds

Apr 17 12:49 +00:00

Passed in 9m43s

Refs Branches (6)

Make ortac load a subset of plugins

Make ortac load a subset of plugins This feature will be usefull to test the dune plugin (#190) in CI.

Apr 10 19:01 +00:00

Failed in 40m22s

Read gospel files

Use the `gospel` file in examples This only tests the `qcheck-stm` plugin, but it was also the only one modified with this new feature.

Apr 12 12:08 +00:00

Passed in 9m52s

Add documentation for Ortac/Dune

Add documentation for Ortac/Dune

Apr 05 08:18 +00:00

Failed in 9m37s

Add an optional argument for protecting the run of the tests

Add documentation and update Changelog

Apr 05 08:08 +00:00

Passed in 11m08s

Move to a module based configuration

Update Changelog This feature replaces and removes the `--include` optional argument

Apr 17 12:49 +00:00

Passed in 40m18s

Revise Ortac/Dune to minimize yet again boilerplate

Apr 17 12:51 +00:00

Passed in 40m10s