This commit is contained in:
JanLJL
2019-07-10 18:31:25 +02:00
parent a866500610
commit e69baaba41

View File

@@ -112,16 +112,16 @@ class TestSemanticTools(unittest.TestCase):
def test_kernelDG_AArch64(self):
dg = KernelDG(self.kernel_AArch64, self.parser_AArch64, self.machine_model_tx2)
self.assertTrue(nx.algorithms.dag.is_directed_acyclic_graph(dg.dg))
self.assertEqual(list(dg.get_dependent_instruction_forms(line_number=2)), [6, 7])
self.assertEqual(list(dg.get_dependent_instruction_forms(line_number=3)), [8, 9])
self.assertEqual(list(dg.get_dependent_instruction_forms(line_number=4)), [6, 7])
self.assertEqual(list(dg.get_dependent_instruction_forms(line_number=5)), [8, 9])
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=2)), {6, 7})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=3)), {8, 9})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=4)), {6, 7})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=5)), {8, 9})
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=6)), 12)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=7)), 13)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=8)), 15)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=9)), 16)
self.assertEqual(list(dg.get_dependent_instruction_forms(line_number=10)), [12, 13])
self.assertEqual(list(dg.get_dependent_instruction_forms(line_number=11)), [15, 16])
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=10)), {12, 13})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=11)), {15, 16})
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=12)), 14)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=13)), 14)
self.assertEqual(len(list(dg.get_dependent_instruction_forms(line_number=14))), 0)