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 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)
