3aad0e249c
Each test works by rendering the flowgraph for the last identified block we see in expanded pretty-printed output, and comparing it (via `diff`) against a checked in "foo.dot-expected.dot" file. Each test post-processes the output to remove NodeIds ` (id=NUM)` so that the expected output is somewhat stable (or at least independent of how we assign NodeIds) and easier for a human to interpret when looking at the expected output file itself. ---- Test writing style notes: I usually tried to write the tests in a way that would avoid duplicate labels in the output rendered flow graph, when possible. The tests that have string literals "unreachable" in the program text are deliberately written that way to remind the reader that the unreachable nodes in the resulting graph are not an error in the control flow computation, but rather a natural consequence of its construction.
10 lines
171 B
Plaintext
10 lines
171 B
Plaintext
digraph block {
|
|
N0[label="entry"];
|
|
N1[label="exit"];
|
|
N2[label="local _x"];
|
|
N3[label="block { let _x: int; }"];
|
|
N0 -> N2;
|
|
N2 -> N3;
|
|
N3 -> N1;
|
|
}
|