def test_generate_path_only_valid_offset_params(self): # must combine an initial state w/ 'length' unrolling with self.assertRaises(ValueError): diagnosability.generate_path(-1, 5) with self.assertRaises(ValueError): diagnosability.generate_path(0, -5)
def test_generate_path_offset_zero(self): # when offset is 0 path is just your regular path # - test 1 - just the initial state regular = bmcutils.BmcModel().path(0) tool = diagnosability.generate_path(0, 0) self.assertEqual(regular, tool) # - test 2 - more steps unrolled regular = bmcutils.BmcModel().path(3) tool = diagnosability.generate_path(0, 3) self.assertEqual(regular, tool)
def test_generate_path_offset_x(self): # must combine an initial state w/ 'length' unrolling model = bmcutils.BmcModel() manual = model.init[5] & model.unrolling(5, 10) tool = diagnosability.generate_path(5, 5) self.assertEqual(manual, tool)