def test_signal(self): self.assertEqual(self.ProcessExitCode_with_signal(1).signal, 1) self.assertEqual(ProcessExitCode.from_raw(1).signal, 1) self.assertIsNone(self.ProcessExitCode_with_value(0).signal) self.assertIsNone(self.ProcessExitCode_with_value(1).signal) self.assertIsNone(ProcessExitCode.from_raw(0).signal) self.assertIsNone(ProcessExitCode.from_raw(256).signal)
def returnvalue(value): """Encode an exit of aprogram as it would be returned by os.wait""" return ProcessExitCode(raw=value << 8, value=value, signal=None)
def signal(sig): """Encode a signal as it would be returned by os.wait""" return ProcessExitCode(raw=sig, value=None, signal=sig)
# limitations under the License. # prepare for Python 3 from __future__ import absolute_import, division, print_function, unicode_literals import logging import sys import unittest sys.dont_write_bytecode = True # prevent creation of .pyc files from benchexec.util import ProcessExitCode from benchexec.model import Run from benchexec.result import * # @UnusedWildImport from benchexec.tools.template import BaseTool normal_result = ProcessExitCode(raw=0, value=0, signal=None) class TestResult(unittest.TestCase): @classmethod def setUpClass(cls): cls.longMessage = True logging.disable(logging.CRITICAL) def create_run(self, info_result=RESULT_UNKNOWN): # lambdas are simple dummy objects runSet = lambda: None runSet.log_folder = '.' runSet.result_files_folder = '.' runSet.options = [] runSet.real_name = None
def ProcessExitCode_with_signal(self, signal): return ProcessExitCode(raw=signal, value=None, signal=signal)
def ProcessExitCode_with_value(self, value): return ProcessExitCode(raw=value << 8, value=value, signal=None)