|
Executable documentation examples?
|
|
1
|
102
|
April 10, 2026
|
|
Is there any way to capture the stdout & stderr output of the current process?
|
|
8
|
523
|
April 1, 2026
|
|
[ANN] ortac-0.8 specification-driven testing with Domains
|
|
0
|
122
|
March 26, 2026
|
|
[ANN] Testo 0.3
|
|
1
|
213
|
January 20, 2026
|
|
Cram test errors and **** UNREACHABLE ****
|
|
6
|
130
|
January 15, 2026
|
|
Passing command-line arguments to inline tests
|
|
0
|
93
|
January 8, 2026
|
|
[ANN] QCheck 0.90: The Great Renaming
|
|
4
|
454
|
December 30, 2025
|
|
Does dune runtest launch a separate process for each test file?
|
|
0
|
76
|
November 28, 2025
|
|
Parsing interfaces that use external modules with Gospel
|
|
2
|
245
|
November 25, 2025
|
|
Questions around the test and executable stanzas in dune
|
|
4
|
201
|
November 12, 2025
|
|
[ANN] QCheck 0.24
|
|
3
|
542
|
November 3, 2025
|
|
[ANN] Testo 0.2.0 – test library with support for snapshots, parallel runs, xfails, timeouts
|
|
0
|
200
|
September 13, 2025
|
|
[ANN] (ppx_inline_test|ppx_expect)_nobase
|
|
1
|
212
|
August 20, 2025
|
|
[ANN] qcheck-lin and qcheck-stm 0.2
|
|
6
|
1092
|
July 29, 2025
|
|
An example for every OCaml package
|
|
9
|
716
|
July 15, 2025
|
|
Brittleness of snapshot tests
|
|
12
|
499
|
June 3, 2025
|
|
Expect magic in ppxlib tests
|
|
1
|
149
|
May 31, 2025
|
|
Blog post: Using model-based testing on a Mirage filesystem implementation
|
|
2
|
372
|
May 17, 2025
|
|
SCGI library for OCaml and eio
|
|
0
|
163
|
April 14, 2025
|
|
Build systems and snapshot testing support
|
|
20
|
411
|
March 31, 2025
|
|
[ANN] Ortac 0.6.0 improve bug reporting
|
|
0
|
155
|
March 6, 2025
|
|
Broken ppx_inline_test?
|
|
2
|
152
|
January 14, 2025
|
|
[ANN] Ortac 0.5.0 testing higher order functions
|
|
0
|
167
|
January 13, 2025
|
|
[ANN] QCheck 0.23
|
|
0
|
183
|
December 13, 2024
|
|
[ANN] Testo 0.1.0 - a new testing framework for OCaml
|
|
3
|
554
|
December 1, 2024
|
|
[ANN] Ortac/QCheck-STM 0.4.0 Dynamic formal verification beyond one system under test
|
|
0
|
187
|
October 11, 2024
|
|
[ANN] Mutaml 0.1
|
|
1
|
732
|
October 8, 2024
|
|
[ANN] Mica, a PPX that automates differential testing for OCaml modules
|
|
0
|
173
|
October 6, 2024
|
|
Dune Cram tests with several file outputs
|
|
5
|
483
|
September 9, 2024
|
|
[ANN] Bam - A property-based testing with internal shrinking
|
|
6
|
535
|
May 18, 2024
|