ocaml-tsan icon indicating copy to clipboard operation
ocaml-tsan copied to clipboard

Published 20 hours ago • verified publisher icon ocaml-multicore
→

Metadata

Race detection in OCaml using the ThreadSanitizer runtime analysis.

Results 2 ocaml-tsan issues
Sort by recently updated
recently updated
newest added

String initialization is instrumented, leading to false positives

### How to reproduce ```ocaml let table = Hashtbl.create 64 let read_table () = for _ = 0 to 99 do let key = QCheck.Gen.(generate1 small_string) in try ignore (Hashtbl.find...

OlivierNicole avatar OlivierNicole

uucp and uri take an awful lot of RAM to build on 5.0.0+tsan

Reported by @ElectreAAS. To reproduce: ``` git clone [email protected]:ElectreAAS/irmin.git cd irmin git checkout direct-style opam switch create . 5.0.0+tsan --no-install opam pin -n . --with-version=dev --kind=path opam install ./irmin-pack --deps-only...

OlivierNicole avatar OlivierNicole

← Metadata

19
Stars
2
Forks
Watchers

Owner

verified publisher icon ocaml-multicore

Metadata

Race detection in OCaml using the ThreadSanitizer runtime analysis.

Back