From a35c6117e6a2c957d5dc3ba950375718f09a5cb5 Mon Sep 17 00:00:00 2001 From: Stephen Dolan Date: Tue, 6 Dec 2016 16:18:04 +0000 Subject: Instrumentation for american fuzzy lop (afl-fuzz) (#504) --- driver/optmain.ml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'driver/optmain.ml') 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 -- cgit v1.2.1