Skip to content
/ parafuzz Public

Concurrency property fuzzing tool for multicore OCaml programs

License

View license
1 star 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

SumitPadhiyar/parafuzz

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

22,003 Commits
asmcomp
asmcomp
 
 
boot
boot
 
 
build-aux
build-aux
 
 
bytecomp
bytecomp
 
 
compilerlibs
compilerlibs
 
 
config/auto-aux
config/auto-aux
 
 
debugger
debugger
 
 
driver
driver
 
 
file_formats
file_formats
 
 
lambda
lambda
 
 
lex
lex
 
 
man
man
 
 
manual
manual
 
 
middle_end
middle_end
 
 
ocamldoc
ocamldoc
 
 
ocamltest
ocamltest
 
 
otherlibs
otherlibs
 
 
parsing
parsing
 
 
runtime
runtime
 
 
stdlib
stdlib
 
 
testsuite
testsuite
 
 
tools
tools
 
 
toplevel
toplevel
 
 
typing
typing
 
 
utils
utils
 
 
yacc
yacc
 
 
.depend
.depend
 
 
.depend.menhir
.depend.menhir
 
 
.gitattributes
.gitattributes
 
 
.gitignore
.gitignore
 
 
.gitmodules
.gitmodules
 
 
.mailmap
.mailmap
 
 
.ocp-indent
.ocp-indent
 
 
.travis.yml
.travis.yml
 
 
BOOTSTRAP.adoc
BOOTSTRAP.adoc
 
 
CONTRIBUTING.md
CONTRIBUTING.md
 
 
Changes
Changes
 
 
HACKING.adoc
HACKING.adoc
 
 
INSTALL.adoc
INSTALL.adoc
 
 
LICENSE
LICENSE
 
 
Makefile
Makefile
 
 
Makefile.best_binaries
Makefile.best_binaries
 
 
Makefile.common.in
Makefile.common.in
 
 
Makefile.config.in
Makefile.config.in
 
 
Makefile.dev
Makefile.dev
 
 
Makefile.menhir
Makefile.menhir
 
 
Makefile.tools
Makefile.tools
 
 
News
News
 
 
README.md
README.md
 
 
README.stock.adoc
README.stock.adoc
 
 
README.win32.adoc
README.win32.adoc
 
 
VERSION
VERSION
 
 
aclocal.m4
aclocal.m4
 
 
appveyor.yml
appveyor.yml
 
 
autogen
autogen
 
 
configure
configure
 
 
configure.ac
configure.ac
 
 
dune
dune
 
 
dune-project
dune-project
 
 
ocaml-variants.opam
ocaml-variants.opam
 
 

Repository files navigation

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/

About

Concurrency property fuzzing tool for multicore OCaml programs

Topics

fuzz-testing multicore concurrency-testing multicore-ocaml

Resources

Readme

License

View license
Activity

Stars

1 star

Watchers

3 watching

Forks

0 forks
Report repository

Releases

6 tags

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages