Getting Started
Documentation
Organisations
ocaml-gospel
ortac
ortac
https://github.com/ocaml-gospel/ortac
Default Branch
main
Merge pull request #249 from nikolaushuber/fix-invariants Fix invariant bug with multiple suts
6e184e
-
Sep 05 11:54 +00:00
Passed in 19m07s
Refs Branches (4)
Read gospel files
Update Changelog
6970d9
-
#196
-
Sep 01 14:12 +00:00
Failed in 19m02s
Some refactoring of `Reserr`
Update Changelog
5a5ccf
-
#250
-
Sep 05 13:59 +00:00
Passed in 19m01s
Fix display of the runnable scenario for protected values
Update changelog
21821b
-
#251
-
Sep 10 13:32 +00:00
Passed in 19m03s
Returning SUT values
Update changelog
630a71
-
#253
-
Sep 11 20:33 +00:00
Passed in 19m02s