|
Shellcheck for Cram tests
|
|
1
|
132
|
September 22, 2026
|
|
[ANN] ortac-0.8 specification-driven testing with Domains
|
|
1
|
289
|
September 16, 2026
|
|
Documenting the (negative) behaviour of a package (and `mdx` FTW)
|
|
13
|
425
|
June 12, 2026
|
|
Executable documentation examples?
|
|
1
|
118
|
April 10, 2026
|
|
Is there any way to capture the stdout & stderr output of the current process?
|
|
8
|
599
|
April 1, 2026
|
|
[ANN] Testo 0.3
|
|
1
|
234
|
January 20, 2026
|
|
Cram test errors and **** UNREACHABLE ****
|
|
6
|
177
|
January 15, 2026
|
|
Passing command-line arguments to inline tests
|
|
0
|
100
|
January 8, 2026
|
|
[ANN] QCheck 0.90: The Great Renaming
|
|
4
|
487
|
December 30, 2025
|
|
Does dune runtest launch a separate process for each test file?
|
|
0
|
82
|
November 28, 2025
|
|
Parsing interfaces that use external modules with Gospel
|
|
2
|
254
|
November 25, 2025
|
|
Questions around the test and executable stanzas in dune
|
|
4
|
239
|
November 12, 2025
|
|
[ANN] QCheck 0.24
|
|
3
|
564
|
November 3, 2025
|
|
[ANN] Testo 0.2.0 – test library with support for snapshots, parallel runs, xfails, timeouts
|
|
0
|
209
|
September 13, 2025
|
|
[ANN] (ppx_inline_test|ppx_expect)_nobase
|
|
1
|
233
|
August 20, 2025
|
|
[ANN] qcheck-lin and qcheck-stm 0.2
|
|
6
|
1127
|
July 29, 2025
|
|
An example for every OCaml package
|
|
9
|
766
|
July 15, 2025
|
|
Brittleness of snapshot tests
|
|
11
|
537
|
May 28, 2025
|
|
Expect magic in ppxlib tests
|
|
1
|
155
|
May 31, 2025
|
|
Blog post: Using model-based testing on a Mirage filesystem implementation
|
|
2
|
404
|
May 17, 2025
|
|
SCGI library for OCaml and eio
|
|
0
|
176
|
April 14, 2025
|
|
Build systems and snapshot testing support
|
|
20
|
472
|
March 31, 2025
|
|
[ANN] Ortac 0.6.0 improve bug reporting
|
|
0
|
163
|
March 6, 2025
|
|
Broken ppx_inline_test?
|
|
2
|
167
|
January 14, 2025
|
|
[ANN] Ortac 0.5.0 testing higher order functions
|
|
0
|
173
|
January 13, 2025
|
|
[ANN] QCheck 0.23
|
|
0
|
192
|
December 13, 2024
|
|
[ANN] Testo 0.1.0 - a new testing framework for OCaml
|
|
3
|
573
|
December 1, 2024
|
|
[ANN] Ortac/QCheck-STM 0.4.0 Dynamic formal verification beyond one system under test
|
|
0
|
194
|
October 11, 2024
|
|
[ANN] Mutaml 0.1
|
|
1
|
744
|
October 8, 2024
|
|
[ANN] Mica, a PPX that automates differential testing for OCaml modules
|
|
0
|
183
|
October 6, 2024
|