docs/notebooks/PICS/Fuzzer-synopsis-2.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 9.0.0 (20230911.1827)
 -->
<!-- Pages: 1 -->
<svg width="371pt" height="212pt"
 viewBox="0.00 0.00 371.12 212.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 208)">
<g id="a_graph0"><a xlink:title="ProgramRunner class hierarchy">
<polygon fill="white" stroke="none" points="-4,4 -4,-208 367.12,-208 367.12,4 -4,4"/>
</a>
</g>
<!-- ProgramRunner -->
<g id="node1" class="node">
<title>ProgramRunner</title>
<g id="a_node1"><a xlink:href="#" xlink:title="class ProgramRunner:&#10;Test a program with inputs.">
<polygon fill="none" stroke="black" points="0,-0.5 0,-68.25 115,-68.25 115,-0.5 0,-0.5"/>
<text text-anchor="start" x="8" y="-51.95" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">ProgramRunner</text>
<polyline fill="none" stroke="black" points="0,-42.25 115,-42.25"/>
<g id="a_node1_0"><a xlink:href="#" xlink:title="ProgramRunner">
<g id="a_node1_1"><a xlink:href="#" xlink:title="__init__(self, program: Union[str, List[str]]) &#45;&gt; None:&#10;Initialize.&#10;`program` is a program spec as passed to `subprocess.run()`">
<text text-anchor="start" x="18.5" y="-29.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">__init__()</text>
</a>
</g>
<g id="a_node1_2"><a xlink:href="#" xlink:title="run(self, inp: str = &#39;&#39;) &#45;&gt; Tuple[subprocess.CompletedProcess, str]:&#10;Run the program with `inp` as input.&#10;Return test outcome based on result of `subprocess.run()`.">
<text text-anchor="start" x="18.5" y="-18.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">run()</text>
</a>
</g>
<g id="a_node1_3"><a xlink:href="#" xlink:title="run_process(self, inp: str = &#39;&#39;) &#45;&gt; subprocess.CompletedProcess:&#10;Run the program with `inp` as input.&#10;Return result of `subprocess.run()`.">
<text text-anchor="start" x="18.5" y="-6.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">run_process()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- Runner -->
<g id="node2" class="node">
<title>Runner</title>
<g id="a_node2"><a xlink:href="#" xlink:title="class Runner:&#10;Base class for testing inputs.">
<polygon fill="none" stroke="black" points="80.5,-105.25 80.5,-203.5 156.5,-203.5 156.5,-105.25 80.5,-105.25"/>
<text text-anchor="start" x="95.62" y="-187.2" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">Runner</text>
<polyline fill="none" stroke="black" points="80.5,-177.5 156.5,-177.5"/>
<g id="a_node2_4"><a xlink:href="#" xlink:title="Runner">
<g id="a_node2_5"><a xlink:href="#" xlink:title="FAIL = &#39;FAIL&#39;">
<text text-anchor="start" x="88.5" y="-164" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">FAIL</text>
</a>
</g>
<g id="a_node2_6"><a xlink:href="#" xlink:title="PASS = &#39;PASS&#39;">
<text text-anchor="start" x="88.5" y="-152.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">PASS</text>
</a>
</g>
<g id="a_node2_7"><a xlink:href="#" xlink:title="UNRESOLVED = &#39;UNRESOLVED&#39;">
<text text-anchor="start" x="88.5" y="-141.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">UNRESOLVED</text>
</a>
</g>
</a>
</g>
<polyline fill="none" stroke="black" points="80.5,-135.75 156.5,-135.75"/>
<g id="a_node2_8"><a xlink:href="#" xlink:title="Runner">
<g id="a_node2_9"><a xlink:href="#" xlink:title="__init__(self) &#45;&gt; None:&#10;Initialize">
<text text-anchor="start" x="88.5" y="-123.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">__init__()</text>
</a>
</g>
<g id="a_node2_10"><a xlink:href="#" xlink:title="run(self, inp: str) &#45;&gt; Any:&#10;Run the runner with the given input">
<text text-anchor="start" x="88.5" y="-112" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">run()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- ProgramRunner&#45;&gt;Runner -->
<g id="edge1" class="edge">
<title>ProgramRunner&#45;&gt;Runner</title>
<path fill="none" stroke="black" d="M74.65,-68.56C78.9,-76.78 83.59,-85.83 88.26,-94.87"/>
<polygon fill="none" stroke="black" points="85.11,-96.41 92.81,-103.68 91.33,-93.19 85.11,-96.41"/>
</g>
<!-- PrintRunner -->
<g id="node3" class="node">
<title>PrintRunner</title>
<g id="a_node3"><a xlink:href="#" xlink:title="class PrintRunner:&#10;Simple runner, printing the input.">
<polygon fill="none" stroke="black" points="133.25,-11.75 133.25,-57 225.75,-57 225.75,-11.75 133.25,-11.75"/>
<text text-anchor="start" x="141.25" y="-40.7" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">PrintRunner</text>
<polyline fill="none" stroke="black" points="133.25,-31 225.75,-31"/>
<g id="a_node3_11"><a xlink:href="#" xlink:title="PrintRunner">
<g id="a_node3_12"><a xlink:href="#" xlink:title="run(self, inp) &#45;&gt; Any:&#10;Print the given input">
<text text-anchor="start" x="164.5" y="-18.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">run()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- PrintRunner&#45;&gt;Runner -->
<g id="edge2" class="edge">
<title>PrintRunner&#45;&gt;Runner</title>
<path fill="none" stroke="black" d="M168.17,-57.29C162.62,-68.02 155.65,-81.5 148.71,-94.94"/>
<polygon fill="none" stroke="black" points="145.6,-93.33 144.12,-103.82 151.82,-96.55 145.6,-93.33"/>
</g>
<!-- Legend -->
<g id="node4" class="node">
<title>Legend</title>
<text text-anchor="start" x="243.88" y="-50.38" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="10.00" fill="#b03a2e">Legend</text>
<text text-anchor="start" x="243.88" y="-40.38" font-family="Patua One, Helvetica, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="249.88" y="-40.38" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="8.00">public_method()</text>
<text text-anchor="start" x="243.88" y="-30.38" font-family="Patua One, Helvetica, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="249.88" y="-30.38" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="8.00">private_method()</text>
<text text-anchor="start" x="243.88" y="-20.38" font-family="Patua One, Helvetica, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="249.88" y="-20.38" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="8.00">overloaded_method()</text>
<text text-anchor="start" x="243.88" y="-11.32" font-family="Helvetica,sans-Serif" font-size="9.00">Hover over names to see doc</text>
</g>
</g>
</svg>