DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Change size, output

Browse Source
This commit is contained in:
Alex Groce
2018-12-31 15:52:55 -07:00
parent 122f5a7b57
commit 244c3ac3a8
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
examples/Runlen.cpp
+2 -4
View File
@@ -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 << "`";
}