|
Executable documentation examples?
|
|
1
|
97
|
April 10, 2026
|
|
Is there any way to capture the stdout & stderr output of the current process?
|
|
8
|
494
|
April 1, 2026
|
|
[ANN] ortac-0.8 specification-driven testing with Domains
|
|
0
|
113
|
March 26, 2026
|
|
[ANN] Testo 0.3
|
|
1
|
211
|
January 20, 2026
|
|
Cram test errors and **** UNREACHABLE ****
|
|
6
|
121
|
January 15, 2026
|
|
Passing command-line arguments to inline tests
|
|
0
|
91
|
January 8, 2026
|
|
[ANN] QCheck 0.90: The Great Renaming
|
|
4
|
450
|
December 30, 2025
|
|
Does dune runtest launch a separate process for each test file?
|
|
0
|
75
|
November 28, 2025
|
|
Parsing interfaces that use external modules with Gospel
|
|
2
|
243
|
November 25, 2025
|
|
Questions around the test and executable stanzas in dune
|
|
4
|
195
|
November 12, 2025
|
|
[ANN] QCheck 0.24
|
|
3
|
538
|
November 3, 2025
|
|
[ANN] Testo 0.2.0 – test library with support for snapshots, parallel runs, xfails, timeouts
|
|
0
|
199
|
September 13, 2025
|
|
[ANN] (ppx_inline_test|ppx_expect)_nobase
|
|
1
|
208
|
August 20, 2025
|
|
[ANN] qcheck-lin and qcheck-stm 0.2
|
|
6
|
1086
|
July 29, 2025
|
|
An example for every OCaml package
|
|
9
|
703
|
July 15, 2025
|
|
Brittleness of snapshot tests
|
|
12
|
488
|
June 3, 2025
|
|
Expect magic in ppxlib tests
|
|
1
|
148
|
May 31, 2025
|
|
Blog post: Using model-based testing on a Mirage filesystem implementation
|
|
2
|
365
|
May 17, 2025
|
|
SCGI library for OCaml and eio
|
|
0
|
161
|
April 14, 2025
|
|
Build systems and snapshot testing support
|
|
20
|
409
|
March 31, 2025
|
|
[ANN] Ortac 0.6.0 improve bug reporting
|
|
0
|
154
|
March 6, 2025
|
|
Broken ppx_inline_test?
|
|
2
|
149
|
January 14, 2025
|
|
[ANN] Ortac 0.5.0 testing higher order functions
|
|
0
|
165
|
January 13, 2025
|
|
[ANN] QCheck 0.23
|
|
0
|
182
|
December 13, 2024
|
|
[ANN] Testo 0.1.0 - a new testing framework for OCaml
|
|
3
|
548
|
December 1, 2024
|
|
[ANN] Ortac/QCheck-STM 0.4.0 Dynamic formal verification beyond one system under test
|
|
0
|
185
|
October 11, 2024
|
|
[ANN] Mutaml 0.1
|
|
1
|
732
|
October 8, 2024
|
|
[ANN] Mica, a PPX that automates differential testing for OCaml modules
|
|
0
|
171
|
October 6, 2024
|
|
Dune Cram tests with several file outputs
|
|
5
|
474
|
September 9, 2024
|
|
[ANN] Bam - A property-based testing with internal shrinking
|
|
6
|
530
|
May 18, 2024
|