From a6db7fb09700c5677b0a2ed8b58247a79170f655 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Tue, 1 Jan 2019 19:52:48 -0700 Subject: [PATCH] drop manticore for runlen, longer limit --- examples/Runlen.cpp | 2 +- tests/test_runlen.py | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/examples/Runlen.cpp b/examples/Runlen.cpp index 70267b4..e3957f5 100644 --- a/examples/Runlen.cpp +++ b/examples/Runlen.cpp @@ -45,7 +45,7 @@ void printBytes(const char* bytes) { } // Can be (much) higher (e.g., > 1024) if we're using fuzzing, not symbolic execution -#define MAX_STR_LEN 3 +#define MAX_STR_LEN 4 TEST(Runlength, EncodeDecode) { char* original = DeepState_CStrUpToLen(MAX_STR_LEN); diff --git a/tests/test_runlen.py b/tests/test_runlen.py index 545129a..a378329 100644 --- a/tests/test_runlen.py +++ b/tests/test_runlen.py @@ -5,6 +5,8 @@ import logrun class RunlenTest(deepstate_base.DeepStateTestCase): def run_deepstate(self, deepstate): + if deepstate == "deepstate-manticore": + return # Just skip for now, we know it's too slow (r, output) = logrun.logrun([deepstate, "build/examples/Runlen"], "deepstate.out", 2900) self.assertEqual(r, 0)