Skip to content

Commit 4c996a9

Browse files
committed
Add afl flags
1 parent e4c281e commit 4c996a9

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

src/kernel/mconfig.ml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -634,6 +634,7 @@ let ocaml_ignored_flags =
634634
"-no-cfg-prologue-shrink-wrap";
635635
"-gdwarf-pedantic";
636636
"-ddwarf-metrics"
637+
"-afl-instrument";
637638
]
638639

639640
let ocaml_ignored_parametrized_flags =
@@ -723,7 +724,8 @@ let ocaml_ignored_parametrized_flags =
723724
"-gdwarf-config-max-evaluation-steps-per-variable";
724725
"-gdwarf-config-shape-reduce-fuel";
725726
"-gdwarf-fidelity";
726-
"-llvm-path"
727+
"-llvm-path";
728+
"-afl-inst-ratio"
727729
]
728730

729731
let ocaml_warnings_spec ~error =

0 commit comments

Comments
 (0)