diff --git a/examples/Runlen.cpp b/examples/Runlen.cpp index 9c4ed68..836a1e3 100644 --- a/examples/Runlen.cpp +++ b/examples/Runlen.cpp @@ -34,7 +34,7 @@ char* decode(const char* output) { } // Can be higher if we're using fuzzing, not symbolic execution -#define MAX_STR_LEN 2 +#define MAX_STR_LEN 3 TEST(Runlength, EncodeDecode) { char* original = DeepState_CStrUpToLen(MAX_STR_LEN, "ab");