SumitPadhiyar / parafuzz Public

Concurrency property fuzzing tool for multicore OCaml programs

Notifications

Name		Name	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

opam switch create parafuzz --empty --repositories=parfuzz-multicore=git+https://github.com/SumitPadhiyar/multicore-opam.git,default

opam pin add -k path .

opam install dune.2.7.1

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

Concurrency property fuzzing tool for multicore OCaml programs

No packages published