[Project] debloat, ready for open source

Author: bongjunj

Makefile

@@ -10,11 +10,6 @@ all: fmt
 	$(DUNE) build
 	$(LN) _build/default/src/main.exe $(EXE)
 	$(LN) _build/default/src/program/check_corpus.exe check_corpus
-	$(LN) _build/default/src/program/cov.exe cov
-	$(LN) _build/default/src/program/pattern_check.exe pattern-check
-	$(LN) _build/default/src/program/clean.exe clean
-	$(LN) _build/default/src/program/llmutate.exe llmutate
-	$(LN) _build/default/src/program/distance.exe distance
 
 test: all
 	$(DUNE) test

build.sh

@@ -25,6 +25,6 @@ fi
 eval $(SHELL=bash opam config env --switch=$LLFUZZ_OPAM_SWITCH)
 opam pin https://github.com/prosyslab/logger.git
 opam install -j $NCPU llvm.16.0.6+nnp
-opam install -j $NCPU dune z3 yojson logger domainslib progress ocamlgraph
+opam install -j $NCPU dune logger domainslib progress ocamlgraph
 opam install -j $NCPU ocamlformat.0.26.1 merlin ocp-index ocp-indent ocaml-lsp-server # for development
 make

src/coverage/dune

@@ -1,4 +1,4 @@
 (library
  (name coverage)
- (modules domain sancov aflgo)
+ (modules domain aflgo)
  (libraries unix util config ocamlgraph))