From 244c3ac3a8a76d3cf1334729f386f0a984af2890 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 31 Dec 2018 15:52:55 -0700 Subject: [PATCH] Change size, output --- examples/Runlen.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/examples/Runlen.cpp b/examples/Runlen.cpp index 0c16def..7a22f0a 100644 --- a/examples/Runlen.cpp +++ b/examples/Runlen.cpp @@ -34,14 +34,12 @@ char* decode(const char* output) { } // Can be higher if we're using fuzzing, not symbolic execution -#define MAX_STR_LEN 4 +#define MAX_STR_LEN 5 TEST(Runlength, EncodeDecode) { char* original = DeepState_CStrUpToLen(MAX_STR_LEN, "ab"); - DeepState_ConcretizeCStr(original); - LOG(TRACE) << "original = `" << original << "`"; char* encoded = encode(original); char* roundtrip = decode(encoded); ASSERT (strncmp(roundtrip, original, MAX_STR_LEN) == 0) << - "encode = `" << encoded << "`, decode(encode) = `" << roundtrip << "`"; + "`" << original << "` ==> `" << encoded << "` ==> `" << roundtrip << "`"; }