Getting Started
Documentation
Organisations
ocaml-gospel
ortac
pull/196
Build History
Build History for pull/196
Builds (9)
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.
deb70a
-
May 10 08:52 +00:00
Passed in 13m10s
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.
917435
-
Apr 11 15:09 +00:00
Passed in 43m24s
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.
6f9ca7
-
Jan 01 00:00 +00:00
Failed in 0s
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.
a494bf
-
Apr 11 13:49 +00:00
Failed in 4m06s
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.
a52fd5
-
Jan 01 00:00 +00:00
Failed in 0s
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.
17ef79
-
Jan 01 00:00 +00:00
Failed in 0s
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.
d0a9a5
-
Jan 24 16:21 +00:00
Failed in 1m02s
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.
eb7cfe
-
Jan 01 00:00 +00:00
Failed in 0s
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.
885cd6
-
Jan 01 00:00 +00:00
Failed in 0s