Search results

Refine Out_channel string/bytes generator

Status: Open (in progress).

ocaml-multicore/multicoretestsnumber 483

#483 In ocaml-multicore/multicoretests;

· jmid opened on Nov 1, 2024

Reuse domains rather than spawning them for each parallel test

Status: Draft (not ready).

ocaml-multicore/multicoretestsnumber 457

#457 In ocaml-multicore/multicoretests;

· OlivierNicole opened on Apr 26, 2024

Specifications can be terser through more type trickery

Status: Draft (not ready).

ocaml-multicore/multicoretestsnumber 456

#456 In ocaml-multicore/multicoretests;

· OlivierNicole opened on Apr 20, 2024

Add the possibility to compute statistics

Status: Draft (not ready).

ocaml-multicore/multicoretestsnumber 369

#369 In ocaml-multicore/multicoretests;

· shym opened on Jun 21, 2023

Add Util functions to make tests with logging of generated test values

Status: Draft (not ready).

ocaml-multicore/multicoretestsnumber 331

#331 In ocaml-multicore/multicoretests;

· shym opened on Apr 19, 2023

Lin: Print commands that trigger unexpected exceptions

Status: Open (in progress).

ocaml-multicore/multicoretestsnumber 324

#324 In ocaml-multicore/multicoretests;

· shym opened on Apr 6, 2023

Add Sys.is_directory, Sys.remove and Sys.rename

Status: Open (in progress).

ocaml-multicore/multicoretestsnumber 304

#304 In ocaml-multicore/multicoretests;

· jmid opened on Mar 6, 2023

Add (and use) a runner wrapping every test, to improve error reporting

Status: Open (in progress).

ocaml-multicore/multicoretestsnumber 303

#303 In ocaml-multicore/multicoretests;

· shym opened on Feb 28, 2023

Coverage experiment

Status: Draft (not ready).

ocaml-multicore/multicoretestsnumber 300

#300 In ocaml-multicore/multicoretests;

· jmid opened on Feb 24, 2023

Memory data-race tests

Status: Open (in progress).

ocaml-multicore/multicoretestsnumber 212

#212 In ocaml-multicore/multicoretests;

· art-w opened on Nov 22, 2022

Add information to logs with a custom runner

Status: Open (in progress).

ocaml-multicore/multicoretestsnumber 205

#205 In ocaml-multicore/multicoretests;

· shym opened on Nov 21, 2022

Support multiple ts in Lin and Lin_api signatures

Status: Open (in progress).

ocaml-multicore/multicoretestsnumber 112

#112 In ocaml-multicore/multicoretests;

· jmid opened on Aug 16, 2022