Skip to content

Latest commit

 

History

History
25 lines (19 loc) · 423 Bytes

README.md

File metadata and controls

25 lines (19 loc) · 423 Bytes

ParaFuzz

Multi-core OCaml concurrency bug detection tool

Setup

  1. Create parafuzz switch
opam switch create parafuzz --empty --repositories=parfuzz-multicore=git+https://github.com/SumitPadhiyar/multicore-opam.git,default
  1. Install parafuzz
opam pin add -k path .
  1. Install dune-2.7.1
opam install dune.2.7.1

Install parafuzz-lib

opam pin add -k path otherlibs/parafuzz-lib/