From f88ee36aea0ae3d1159224f2506071860c6ee0dc Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 30 Jul 2018 22:11:41 -0700 Subject: [PATCH] how to set the test --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index ab36939..2ba8977 100644 --- a/README.md +++ b/README.md @@ -97,7 +97,9 @@ Because both DeepState and libFuzzer want to be `main`, this requires building a different executable for libFuzzer. The `examples` directory shows how this can be done. The libFuzzer executable works like any other libFuzzer executable, and the tests produced can be run -using the normal DeepState executable. +using the normal DeepState executable. Use the `LIBFUZZER_WHICH_TEST` +environment variable to control which test libFuzzer runs, using a +fully qualified name (e.g., `Arithmetic_InvertibleMultiplication_CanFail`). ## Fuzzing with AFL