From a0ec145b6b33b342874ab63f094742bb39105ce2 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 31 Dec 2018 15:25:43 -0700 Subject: [PATCH] shrink max string size --- examples/Runlen.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/examples/Runlen.cpp b/examples/Runlen.cpp index 547090a..049fcb4 100644 --- a/examples/Runlen.cpp +++ b/examples/Runlen.cpp @@ -33,7 +33,8 @@ char* decode(const char* output) { return decoded; } -#define MAX_STR_LEN 10 +// Can be higher if we're using fuzzing, not symbolic execution +#define MAX_STR_LEN 7 TEST(Runlength, EncodeDecode) { char* original = DeepState_CStrUpToLen(MAX_STR_LEN, "ab");