From 7775492adc3690eb7794fc1cd2bb91432bc23a26 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Fri, 13 Jul 2018 21:13:54 -0700 Subject: [PATCH] fix initial decison of which deepstate to use --- tests/test_basic_functionality.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/test_basic_functionality.py b/tests/test_basic_functionality.py index 5f8f850..f6bffc5 100644 --- a/tests/test_basic_functionality.py +++ b/tests/test_basic_functionality.py @@ -8,7 +8,7 @@ class TestBasicFunctionality(TestCase): def test_basic_functionality(self): if os.getenv("DEEPSTATE_CMD") is not None: deepstates = [os.getenv("DEEPSTATE_CMD")] - if deepstate is None: + else: deepstates = ["deepstate-angr", "deepstate-manticore"] for deepstate in deepstates: