def test_TryToCreateControlFlowGraphsFromLinuxSrc_graphs_are_valid():
"""Test that a known file produces valid graphs."""
path = linux.LinuxSourcesDataset().src_tree_root / "kernel" / "exit.c"
assert path.is_file() # If this fails, the linux source tree is broken.
for graph in linux.TryToCreateControlFlowGraphsFromLinuxSrc(path):
assert graph.IsValidControlFlowGraph(strict=False)
def test_BytecodeFromLinuxSrc_known_file():
"""Test that a known file produces bytecode."""
path = linux.LinuxSourcesDataset().src_tree_root / "kernel" / "exit.c"
assert path.is_file() # If this fails, the linux source tree is broken.
bytecode = linux.BytecodeFromLinuxSrc(path, "-O0")
assert bytecode
def test_TryToCreateControlFlowGraphsFromLinuxSrc_known_file():
"""Test that a known file produces graphs."""
path = linux.LinuxSourcesDataset().src_tree_root / "kernel" / "exit.c"
assert path.is_file() # If this fails, the linux source tree is broken.
# TODO(github.com/ChrisCummins/ProGraML/issues/7): No stable value.
assert len(linux.TryToCreateControlFlowGraphsFromLinuxSrc(path)) < 20
def linux_dataset() -> linux.LinuxSourcesDataset():
yield linux.LinuxSourcesDataset()
