diff options
| author | Stephen Dolan <mu@netsoc.tcd.ie> | 2016-12-06 16:18:04 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@gmail.com> | 2016-12-06 17:18:04 +0100 |
| commit | a35c6117e6a2c957d5dc3ba950375718f09a5cb5 (patch) | |
| tree | 2b878a68717766c9ab65ed3df1acdef6a55a8932 /driver/optmain.ml | |
| parent | 59380cd23e7c94e4970d7484bd8742c235893c11 (diff) | |
| download | ocaml-a35c6117e6a2c957d5dc3ba950375718f09a5cb5.tar.gz | |
Instrumentation for american fuzzy lop (afl-fuzz) (#504)
Diffstat (limited to 'driver/optmain.ml')
| -rw-r--r-- | driver/optmain.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml index c069cb4f8e..f28be9aec4 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -105,6 +105,8 @@ module Options = Main_args.Make_optcomp_options (struct let _a = set make_archive let _absname = set Location.absname + let _afl_instrument = set afl_instrument + let _afl_inst_ratio n = afl_inst_ratio := n let _annot = set annotations let _binannot = set binary_annotations let _c = set compile_only |