|
Documenting the (negative) behaviour of a package (and `mdx` FTW)
|
|
13
|
355
|
June 12, 2026
|
|
Executable documentation examples?
|
|
1
|
110
|
April 10, 2026
|
|
Is there any way to capture the stdout & stderr output of the current process?
|
|
8
|
560
|
April 1, 2026
|
|
[ANN] ortac-0.8 specification-driven testing with Domains
|
|
0
|
131
|
March 26, 2026
|
|
[ANN] Testo 0.3
|
|
1
|
225
|
January 20, 2026
|
|
Cram test errors and **** UNREACHABLE ****
|
|
6
|
150
|
January 15, 2026
|
|
Passing command-line arguments to inline tests
|
|
0
|
97
|
January 8, 2026
|
|
[ANN] QCheck 0.90: The Great Renaming
|
|
4
|
464
|
December 30, 2025
|
|
Does dune runtest launch a separate process for each test file?
|
|
0
|
78
|
November 28, 2025
|
|
Parsing interfaces that use external modules with Gospel
|
|
2
|
247
|
November 25, 2025
|
|
Questions around the test and executable stanzas in dune
|
|
4
|
218
|
November 12, 2025
|
|
[ANN] QCheck 0.24
|
|
3
|
545
|
November 3, 2025
|
|
[ANN] Testo 0.2.0 – test library with support for snapshots, parallel runs, xfails, timeouts
|
|
0
|
203
|
September 13, 2025
|
|
[ANN] (ppx_inline_test|ppx_expect)_nobase
|
|
1
|
220
|
August 20, 2025
|
|
[ANN] qcheck-lin and qcheck-stm 0.2
|
|
6
|
1108
|
July 29, 2025
|
|
An example for every OCaml package
|
|
9
|
729
|
July 15, 2025
|
|
Brittleness of snapshot tests
|
|
11
|
511
|
May 28, 2025
|
|
Expect magic in ppxlib tests
|
|
1
|
151
|
May 31, 2025
|
|
Blog post: Using model-based testing on a Mirage filesystem implementation
|
|
2
|
379
|
May 17, 2025
|
|
SCGI library for OCaml and eio
|
|
0
|
169
|
April 14, 2025
|
|
Build systems and snapshot testing support
|
|
20
|
433
|
March 31, 2025
|
|
[ANN] Ortac 0.6.0 improve bug reporting
|
|
0
|
158
|
March 6, 2025
|
|
Broken ppx_inline_test?
|
|
2
|
158
|
January 14, 2025
|
|
[ANN] Ortac 0.5.0 testing higher order functions
|
|
0
|
168
|
January 13, 2025
|
|
[ANN] QCheck 0.23
|
|
0
|
188
|
December 13, 2024
|
|
[ANN] Testo 0.1.0 - a new testing framework for OCaml
|
|
3
|
565
|
December 1, 2024
|
|
[ANN] Ortac/QCheck-STM 0.4.0 Dynamic formal verification beyond one system under test
|
|
0
|
190
|
October 11, 2024
|
|
[ANN] Mutaml 0.1
|
|
1
|
733
|
October 8, 2024
|
|
[ANN] Mica, a PPX that automates differential testing for OCaml modules
|
|
0
|
176
|
October 6, 2024
|
|
Dune Cram tests with several file outputs
|
|
5
|
500
|
September 9, 2024
|