|
Shellcheck for Cram tests
|
|
1
|
161
|
September 22, 2026
|
|
[ANN] ortac-0.8 specification-driven testing with Domains
|
|
1
|
311
|
September 16, 2026
|
|
Documenting the (negative) behaviour of a package (and `mdx` FTW)
|
|
13
|
481
|
June 12, 2026
|
|
Executable documentation examples?
|
|
1
|
126
|
April 10, 2026
|
|
Is there any way to capture the stdout & stderr output of the current process?
|
|
8
|
645
|
April 1, 2026
|
|
[ANN] Testo 0.3
|
|
1
|
246
|
January 20, 2026
|
|
Cram test errors and **** UNREACHABLE ****
|
|
6
|
221
|
January 15, 2026
|
|
Passing command-line arguments to inline tests
|
|
0
|
102
|
January 8, 2026
|
|
[ANN] QCheck 0.90: The Great Renaming
|
|
4
|
505
|
December 30, 2025
|
|
Does dune runtest launch a separate process for each test file?
|
|
0
|
83
|
November 28, 2025
|
|
Parsing interfaces that use external modules with Gospel
|
|
2
|
264
|
November 25, 2025
|
|
Questions around the test and executable stanzas in dune
|
|
4
|
263
|
November 12, 2025
|
|
[ANN] QCheck 0.24
|
|
3
|
597
|
November 3, 2025
|
|
[ANN] Testo 0.2.0 – test library with support for snapshots, parallel runs, xfails, timeouts
|
|
0
|
214
|
September 13, 2025
|
|
[ANN] (ppx_inline_test|ppx_expect)_nobase
|
|
1
|
243
|
August 20, 2025
|
|
[ANN] qcheck-lin and qcheck-stm 0.2
|
|
6
|
1151
|
July 29, 2025
|
|
An example for every OCaml package
|
|
9
|
795
|
July 15, 2025
|
|
Brittleness of snapshot tests
|
|
11
|
593
|
May 28, 2025
|
|
Expect magic in ppxlib tests
|
|
1
|
160
|
May 31, 2025
|
|
Blog post: Using model-based testing on a Mirage filesystem implementation
|
|
2
|
417
|
May 17, 2025
|
|
SCGI library for OCaml and eio
|
|
0
|
176
|
April 14, 2025
|
|
Build systems and snapshot testing support
|
|
20
|
532
|
March 31, 2025
|
|
[ANN] Ortac 0.6.0 improve bug reporting
|
|
0
|
173
|
March 6, 2025
|
|
Broken ppx_inline_test?
|
|
2
|
172
|
January 14, 2025
|
|
[ANN] Ortac 0.5.0 testing higher order functions
|
|
0
|
181
|
January 13, 2025
|
|
[ANN] QCheck 0.23
|
|
0
|
200
|
December 13, 2024
|
|
[ANN] Testo 0.1.0 - a new testing framework for OCaml
|
|
3
|
592
|
December 1, 2024
|
|
[ANN] Ortac/QCheck-STM 0.4.0 Dynamic formal verification beyond one system under test
|
|
0
|
200
|
October 11, 2024
|
|
[ANN] Mutaml 0.1
|
|
1
|
755
|
October 8, 2024
|
|
[ANN] Mica, a PPX that automates differential testing for OCaml modules
|
|
0
|
187
|
October 6, 2024
|