From c1b91432fd0b9d73b046d1915b220a375d48bc17 Mon Sep 17 00:00:00 2001 From: Joe Ranweiler Date: Wed, 14 Feb 2018 14:25:10 -0800 Subject: [PATCH] Fix executor docstrings --- bin/deepstate/common.py | 2 +- bin/deepstate/main_manticore.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/deepstate/common.py b/bin/deepstate/common.py index 61b7eef..9a2df0d 100644 --- a/bin/deepstate/common.py +++ b/bin/deepstate/common.py @@ -479,7 +479,7 @@ class DeepState(object): def api_crash(self): """Implements the `DeepState_Crash` API function, which marks this test as - having failed, and stops further execution.""" + having crashed, and stops further execution.""" self.context['crashed'] = True info = self.context['info'] self.log_message(LOG_LEVEL_ERROR, "Crashed: {}".format(info.name)) diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py index 05b3f68..88ec543 100644 --- a/bin/deepstate/main_manticore.py +++ b/bin/deepstate/main_manticore.py @@ -186,7 +186,7 @@ def hook_Pass(state): def hook_Fail(state): - """Implements DeepState_Fail, which notifies us of a passing test.""" + """Implements DeepState_Fail, which notifies us of a failing test.""" DeepManticore(state).api_fail()