flow.svg

<svg id="mermaid-1550002797776" width="100%" xmlns="http://www.w3.org/2000/svg" style="max-width: 393.8843765258789px;" viewBox="0 0 393.8843765258789 976.5343780517578"><style>


#mermaid-1550002797776 .label {
  font-family: 'trebuchet ms', verdana, arial;
  color: #333; }

#mermaid-1550002797776 .node rect,
#mermaid-1550002797776 .node circle,
#mermaid-1550002797776 .node ellipse,
#mermaid-1550002797776 .node polygon {
  fill: #ECECFF;
  stroke: #9370DB;
  stroke-width: 1px; }

#mermaid-1550002797776 .node.clickable {
  cursor: pointer; }

#mermaid-1550002797776 .arrowheadPath {
  fill: #333333; }

#mermaid-1550002797776 .edgePath .path {
  stroke: #333333;
  stroke-width: 1.5px; }

#mermaid-1550002797776 .edgeLabel {
  background-color: #e8e8e8; }

#mermaid-1550002797776 .cluster rect {
  fill: #ffffde !important;
  stroke: #aaaa33 !important;
  stroke-width: 1px !important; }

#mermaid-1550002797776 .cluster text {
  fill: #333; }

#mermaid-1550002797776 div.mermaidTooltip {
  position: absolute;
  text-align: center;
  max-width: 200px;
  padding: 2px;
  font-family: 'trebuchet ms', verdana, arial;
  font-size: 12px;
  background: #ffffde;
  border: 1px solid #aaaa33;
  border-radius: 2px;
  pointer-events: none;
  z-index: 100; }

#mermaid-1550002797776 .actor {
  stroke: #CCCCFF;
  fill: #ECECFF; }

#mermaid-1550002797776 text.actor {
  fill: black;
  stroke: none; }

#mermaid-1550002797776 .actor-line {
  stroke: grey; }

#mermaid-1550002797776 .messageLine0 {
  stroke-width: 1.5;
  stroke-dasharray: '2 2';
  stroke: #333; }

#mermaid-1550002797776 .messageLine1 {
  stroke-width: 1.5;
  stroke-dasharray: '2 2';
  stroke: #333; }

#mermaid-1550002797776 #arrowhead {
  fill: #333; }

#mermaid-1550002797776 #crosshead path {
  fill: #333 !important;
  stroke: #333 !important; }

#mermaid-1550002797776 .messageText {
  fill: #333;
  stroke: none; }

#mermaid-1550002797776 .labelBox {
  stroke: #CCCCFF;
  fill: #ECECFF; }

#mermaid-1550002797776 .labelText {
  fill: black;
  stroke: none; }

#mermaid-1550002797776 .loopText {
  fill: black;
  stroke: none; }

#mermaid-1550002797776 .loopLine {
  stroke-width: 2;
  stroke-dasharray: '2 2';
  stroke: #CCCCFF; }

#mermaid-1550002797776 .note {
  stroke: #aaaa33;
  fill: #fff5ad; }

#mermaid-1550002797776 .noteText {
  fill: black;
  stroke: none;
  font-family: 'trebuchet ms', verdana, arial;
  font-size: 14px; }

#mermaid-1550002797776 .activation0 {
  fill: #f4f4f4;
  stroke: #666; }

#mermaid-1550002797776 .activation1 {
  fill: #f4f4f4;
  stroke: #666; }

#mermaid-1550002797776 .activation2 {
  fill: #f4f4f4;
  stroke: #666; }


#mermaid-1550002797776 .section {
  stroke: none;
  opacity: 0.2; }

#mermaid-1550002797776 .section0 {
  fill: rgba(102, 102, 255, 0.49); }

#mermaid-1550002797776 .section2 {
  fill: #fff400; }

#mermaid-1550002797776 .section1,
#mermaid-1550002797776 .section3 {
  fill: white;
  opacity: 0.2; }

#mermaid-1550002797776 .sectionTitle0 {
  fill: #333; }

#mermaid-1550002797776 .sectionTitle1 {
  fill: #333; }

#mermaid-1550002797776 .sectionTitle2 {
  fill: #333; }

#mermaid-1550002797776 .sectionTitle3 {
  fill: #333; }

#mermaid-1550002797776 .sectionTitle {
  text-anchor: start;
  font-size: 11px;
  text-height: 14px; }


#mermaid-1550002797776 .grid .tick {
  stroke: lightgrey;
  opacity: 0.3;
  shape-rendering: crispEdges; }

#mermaid-1550002797776 .grid path {
  stroke-width: 0; }


#mermaid-1550002797776 .today {
  fill: none;
  stroke: red;
  stroke-width: 2px; }


#mermaid-1550002797776 .task {
  stroke-width: 2; }

#mermaid-1550002797776 .taskText {
  text-anchor: middle;
  font-size: 11px; }

#mermaid-1550002797776 .taskTextOutsideRight {
  fill: black;
  text-anchor: start;
  font-size: 11px; }

#mermaid-1550002797776 .taskTextOutsideLeft {
  fill: black;
  text-anchor: end;
  font-size: 11px; }


#mermaid-1550002797776 .taskText0,
#mermaid-1550002797776 .taskText1,
#mermaid-1550002797776 .taskText2,
#mermaid-1550002797776 .taskText3 {
  fill: white; }

#mermaid-1550002797776 .task0,
#mermaid-1550002797776 .task1,
#mermaid-1550002797776 .task2,
#mermaid-1550002797776 .task3 {
  fill: #8a90dd;
  stroke: #534fbc; }

#mermaid-1550002797776 .taskTextOutside0,
#mermaid-1550002797776 .taskTextOutside2 {
  fill: black; }

#mermaid-1550002797776 .taskTextOutside1,
#mermaid-1550002797776 .taskTextOutside3 {
  fill: black; }


#mermaid-1550002797776 .active0,
#mermaid-1550002797776 .active1,
#mermaid-1550002797776 .active2,
#mermaid-1550002797776 .active3 {
  fill: #bfc7ff;
  stroke: #534fbc; }

#mermaid-1550002797776 .activeText0,
#mermaid-1550002797776 .activeText1,
#mermaid-1550002797776 .activeText2,
#mermaid-1550002797776 .activeText3 {
  fill: black !important; }


#mermaid-1550002797776 .done0,
#mermaid-1550002797776 .done1,
#mermaid-1550002797776 .done2,
#mermaid-1550002797776 .done3 {
  stroke: grey;
  fill: lightgrey;
  stroke-width: 2; }

#mermaid-1550002797776 .doneText0,
#mermaid-1550002797776 .doneText1,
#mermaid-1550002797776 .doneText2,
#mermaid-1550002797776 .doneText3 {
  fill: black !important; }


#mermaid-1550002797776 .crit0,
#mermaid-1550002797776 .crit1,
#mermaid-1550002797776 .crit2,
#mermaid-1550002797776 .crit3 {
  stroke: #ff8888;
  fill: red;
  stroke-width: 2; }

#mermaid-1550002797776 .activeCrit0,
#mermaid-1550002797776 .activeCrit1,
#mermaid-1550002797776 .activeCrit2,
#mermaid-1550002797776 .activeCrit3 {
  stroke: #ff8888;
  fill: #bfc7ff;
  stroke-width: 2; }

#mermaid-1550002797776 .doneCrit0,
#mermaid-1550002797776 .doneCrit1,
#mermaid-1550002797776 .doneCrit2,
#mermaid-1550002797776 .doneCrit3 {
  stroke: #ff8888;
  fill: lightgrey;
  stroke-width: 2;
  cursor: pointer;
  shape-rendering: crispEdges; }

#mermaid-1550002797776 .doneCritText0,
#mermaid-1550002797776 .doneCritText1,
#mermaid-1550002797776 .doneCritText2,
#mermaid-1550002797776 .doneCritText3 {
  fill: black !important; }

#mermaid-1550002797776 .activeCritText0,
#mermaid-1550002797776 .activeCritText1,
#mermaid-1550002797776 .activeCritText2,
#mermaid-1550002797776 .activeCritText3 {
  fill: black !important; }

#mermaid-1550002797776 .titleText {
  text-anchor: middle;
  font-size: 18px;
  fill: black; }

#mermaid-1550002797776 g.classGroup text {
  fill: #9370DB;
  stroke: none;
  font-family: 'trebuchet ms', verdana, arial;
  font-size: 10px; }

#mermaid-1550002797776 g.classGroup rect {
  fill: #ECECFF;
  stroke: #9370DB; }

#mermaid-1550002797776 g.classGroup line {
  stroke: #9370DB;
  stroke-width: 1; }

#mermaid-1550002797776 .classLabel .box {
  stroke: none;
  stroke-width: 0;
  fill: #ECECFF;
  opacity: 0.5; }

#mermaid-1550002797776 .classLabel .label {
  fill: #9370DB;
  font-size: 10px; }

#mermaid-1550002797776 .relation {
  stroke: #9370DB;
  stroke-width: 1;
  fill: none; }

#mermaid-1550002797776 #compositionStart {
  fill: #9370DB;
  stroke: #9370DB;
  stroke-width: 1; }

#mermaid-1550002797776 #compositionEnd {
  fill: #9370DB;
  stroke: #9370DB;
  stroke-width: 1; }

#mermaid-1550002797776 #aggregationStart {
  fill: #ECECFF;
  stroke: #9370DB;
  stroke-width: 1; }

#mermaid-1550002797776 #aggregationEnd {
  fill: #ECECFF;
  stroke: #9370DB;
  stroke-width: 1; }

#mermaid-1550002797776 #dependencyStart {
  fill: #9370DB;
  stroke: #9370DB;
  stroke-width: 1; }

#mermaid-1550002797776 #dependencyEnd {
  fill: #9370DB;
  stroke: #9370DB;
  stroke-width: 1; }

#mermaid-1550002797776 #extensionStart {
  fill: #9370DB;
  stroke: #9370DB;
  stroke-width: 1; }

#mermaid-1550002797776 #extensionEnd {
  fill: #9370DB;
  stroke: #9370DB;
  stroke-width: 1; }

#mermaid-1550002797776 .commit-id,
#mermaid-1550002797776 .commit-msg,
#mermaid-1550002797776 .branch-label {
  fill: lightgrey;
  color: lightgrey; }
</style><style>#mermaid-1550002797776 {
    color: rgba(0, 0, 0, 0.65098);
    font: normal normal normal normal 14px/21px "Chinese Quote", -apple-system, BlinkMacSystemFont, "Segoe UI", "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", "Helvetica Neue", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
  }</style><g transform="translate(-12, -12)"><g class="output"><g class="clusters"></g><g class="edgePaths"><g class="edgePath" style="opacity: 1;"><path class="path" d="M285.9312515258789,61.5L285.4312515258789,96.5L285.4312515258789,132" marker-end="url(#arrowhead21119)" style="fill:none"></path><defs><marker id="arrowhead21119" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g><g class="edgePath" style="opacity: 1;"><path class="path" d="M285.4312515258789,173L285.4312515258789,198L285.4312515258789,223" marker-end="url(#arrowhead21120)" style="fill:none"></path><defs><marker id="arrowhead21120" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g><g class="edgePath" style="opacity: 1;"><path class="path" d="M285.4312515258789,264L285.4312515258789,289L285.9312515258789,314.5000007629396" marker-end="url(#arrowhead21121)" style="fill:none"></path><defs><marker id="arrowhead21121" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g><g class="edgePath" style="opacity: 1;"><path class="path" d="M256.21709610315725,379.55303284021755L146.0484390258789,444.2671890258789L146.0484390258789,479.7671890258789" marker-end="url(#arrowhead21122)" style="fill:none"></path><defs><marker id="arrowhead21122" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g><g class="edgePath" style="opacity: 1;"><path class="path" d="M146.0484390258789,520.7671890258789L146.0484390258789,556.2671890258789L146.0484390258789,591.7671890258789" marker-end="url(#arrowhead21123)" style="fill:none"></path><defs><marker id="arrowhead21123" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g><g class="edgePath" style="opacity: 1;"><path class="path" d="M303.9037550002237,391.29468326271564L336.0796890258789,444.2671890258789L336.0796890258789,479.7671890258789" marker-end="url(#arrowhead21124)" style="fill:none"></path><defs><marker id="arrowhead21124" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g><g class="edgePath" style="opacity: 1;"><path class="path" d="M110.60603655301608,632.7671890258789L67.38359451293945,657.7671890258789L67.88359451293945,683.2671897888182" marker-end="url(#arrowhead21125)" style="fill:none"></path><defs><marker id="arrowhead21125" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g><g class="edgePath" style="opacity: 1;"><path class="path" d="M67.88359451293944,778.0343757629391L67.38359451293945,813.0343780517578L95.50922230311802,848.5343780517578" marker-end="url(#arrowhead21126)" style="fill:none"></path><defs><marker id="arrowhead21126" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g><g class="edgePath" style="opacity: 1;"><path class="path" d="M140.5477340221405,848.5343780517578L190.4156265258789,813.0343780517578L190.4156265258789,730.1507835388184L190.4156265258789,657.7671890258789L166.03805097642837,632.7671890258789" marker-end="url(#arrowhead21127)" style="fill:none"></path><defs><marker id="arrowhead21127" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g><g class="edgePath" style="opacity: 1;"><path class="path" d="M99.95981132818636,745.9581589476923L241.0640640258789,813.0343780517578L280.3082046508789,848.5343780517578" marker-end="url(#arrowhead21128)" style="fill:none"></path><defs><marker id="arrowhead21128" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g><g class="edgePath" style="opacity: 1;"><path class="path" d="M308.3126689365932,848.5343780517578L317.5640640258789,813.0343780517578L317.5640640258789,730.1507835388184L317.5640640258789,657.7671890258789L222.9390640258789,632.6648842067116" marker-end="url(#arrowhead21129)" style="fill:none"></path><defs><marker id="arrowhead21129" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g><g class="edgePath" style="opacity: 1;"><path class="path" d="M111.75078201293945,889.5343780517578L111.75078201293945,914.5343780517578L112.25078201293945,940.0343780517578" marker-end="url(#arrowhead21130)" style="fill:none"></path><defs><marker id="arrowhead21130" viewBox="0 0 10 10" refX="9" refY="5" markerUnits="strokeWidth" markerWidth="8" markerHeight="6" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowheadPath" style="stroke-width: 1px; stroke-dasharray: 1px, 0px;"></path></marker></defs></g></g><g class="edgeLabels"><g class="edgeLabel" transform="translate(285.4312515258789,96.5)" style="opacity: 1;"><g transform="translate(-56.828125,-10.5)" class="label"><foreignObject width="113.65625" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel">Check arguments</span></div></foreignObject></g></g><g class="edgeLabel" transform="" style="opacity: 1;"><g transform="translate(0,0)" class="label"><foreignObject width="0" height="0"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel"></span></div></foreignObject></g></g><g class="edgeLabel" transform="" style="opacity: 1;"><g transform="translate(0,0)" class="label"><foreignObject width="0" height="0"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel"></span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(146.0484390258789,444.2671890258789)" style="opacity: 1;"><g transform="translate(-11.453125,-10.5)" class="label"><foreignObject width="22.90625" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel">Yes</span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(146.0484390258789,556.2671890258789)" style="opacity: 1;"><g transform="translate(-53.796875,-10.5)" class="label"><foreignObject width="107.59375" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel">For each subject</span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(336.0796890258789,444.2671890258789)" style="opacity: 1;"><g transform="translate(-9.1875,-10.5)" class="label"><foreignObject width="18.375" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel">No</span></div></foreignObject></g></g><g class="edgeLabel" transform="" style="opacity: 1;"><g transform="translate(0,0)" class="label"><foreignObject width="0" height="0"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel"></span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(67.38359451293945,813.0343780517578)" style="opacity: 1;"><g transform="translate(-11.453125,-10.5)" class="label"><foreignObject width="22.90625" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel">Yes</span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(190.4156265258789,730.1507835388184)" style="opacity: 1;"><g transform="translate(-40.6484375,-10.5)" class="label"><foreignObject width="81.296875" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel">Next subject</span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(241.0640640258789,813.0343780517578)" style="opacity: 1;"><g transform="translate(-9.1875,-10.5)" class="label"><foreignObject width="18.375" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel">No</span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(317.5640640258789,730.1507835388184)" style="opacity: 1;"><g transform="translate(-40.6484375,-10.5)" class="label"><foreignObject width="81.296875" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel">Next subject</span></div></foreignObject></g></g><g class="edgeLabel" transform="" style="opacity: 1;"><g transform="translate(0,0)" class="label"><foreignObject width="0" height="0"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;"><span class="edgeLabel"></span></div></foreignObject></g></g></g><g class="nodes"><g class="node" id="BIN" transform="translate(285.4312515258789,40.5)" style="opacity: 1;"><polygon points="-20.5,0 177.65625,0 177.65625,-41 -20.5,-41 0,-20.5" transform="translate(-88.828125,20.5)"></polygon><g class="label" transform="translate(0,0)"><g transform="translate(-78.828125,-10.5)"><foreignObject width="157.65625" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;">User invokes ./bin/crytic</div></foreignObject></g></g></g><g class="node" id="RUNNER" transform="translate(285.4312515258789,152.5)" style="opacity: 1;"><rect rx="5" ry="5" x="-48.1640625" y="-20.5" width="96.328125" height="41"></rect><g class="label" transform="translate(0,0)"><g transform="translate(-38.1640625,-10.5)"><foreignObject width="76.328125" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;">Start runner</div></foreignObject></g></g></g><g class="node" id="INITIAL" transform="translate(285.4312515258789,243.5)" style="opacity: 1;"><rect rx="5" ry="5" x="-112.453125" y="-20.5" width="224.90625" height="41"></rect><g class="label" transform="translate(0,0)"><g transform="translate(-102.453125,-10.5)"><foreignObject width="204.90625" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;">Initial test run with 'crystal spec'</div></foreignObject></g></g></g><g class="node" id="INIT_PASS" transform="translate(285.4312515258789,361.38359451293945)" style="opacity: 1;"><polygon points="47.38359375,0 94.7671875,-47.38359375 47.38359375,-94.7671875 0,-47.38359375" rx="5" ry="5" transform="translate(-47.38359375,47.38359375)"></polygon><g class="label" transform="translate(0,0)"><g transform="translate(-22.1484375,-10.5)"><foreignObject width="44.296875" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;">Passes?</div></foreignObject></g></g></g><g class="node" id="POSSIBILITIES" transform="translate(146.0484390258789,500.2671890258789)" style="opacity: 1;"><rect rx="5" ry="5" x="-92.7578125" y="-20.5" width="185.515625" height="41"></rect><g class="label" transform="translate(0,0)"><g transform="translate(-82.7578125,-10.5)"><foreignObject width="165.515625" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;">Find mutation possibilities</div></foreignObject></g></g></g><g class="node" id="NEUTRAL" transform="translate(146.0484390258789,612.2671890258789)" style="opacity: 1;"><rect rx="5" ry="5" x="-76.890625" y="-20.5" width="153.78125" height="41"></rect><g class="label" transform="translate(0,0)"><g transform="translate(-66.890625,-10.5)"><foreignObject width="133.78125" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;">Run neutral mutation</div></foreignObject></g></g></g><g class="node" id="ABORT" transform="translate(336.0796890258789,500.2671890258789)" style="opacity: 1;"><rect rx="5" ry="5" x="-47.2734375" y="-20.5" width="94.546875" height="41"></rect><g class="label" transform="translate(0,0)"><g transform="translate(-37.2734375,-10.5)"><foreignObject width="74.546875" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;">Abort crytic</div></foreignObject></g></g></g><g class="node" id="NEUTRAL_PASS" transform="translate(67.38359451293945,730.1507835388184)" style="opacity: 1;"><polygon points="47.38359375,0 94.7671875,-47.38359375 47.38359375,-94.7671875 0,-47.38359375" rx="5" ry="5" transform="translate(-47.38359375,47.38359375)"></polygon><g class="label" transform="translate(0,0)"><g transform="translate(-22.1484375,-10.5)"><foreignObject width="44.296875" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;">Passes?</div></foreignObject></g></g></g><g class="node" id="RUN_MUTATIONS" transform="translate(111.75078201293945,869.0343780517578)" style="opacity: 1;"><rect rx="5" ry="5" x="-54.90625" y="-20.5" width="109.8125" height="41"></rect><g class="label" transform="translate(0,0)"><g transform="translate(-44.90625,-10.5)"><foreignObject width="89.8125" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;">Run mutations</div></foreignObject></g></g></g><g class="node" id="SKIP_SUBJECT" transform="translate(302.9703140258789,869.0343780517578)" style="opacity: 1;"><rect rx="5" ry="5" x="-48.09375" y="-20.5" width="96.1875" height="41"></rect><g class="label" transform="translate(0,0)"><g transform="translate(-38.09375,-10.5)"><foreignObject width="76.1875" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;">Skip subject</div></foreignObject></g></g></g><g class="node" id="FINISHED" transform="translate(111.75078201293945,960.0343780517578)" style="opacity: 1;"><polygon points="-20.5,0 71.734375,0 71.734375,-41 -20.5,-41 0,-20.5" transform="translate(-35.8671875,20.5)"></polygon><g class="label" transform="translate(0,0)"><g transform="translate(-25.8671875,-10.5)"><foreignObject width="51.734375" height="21"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; white-space: nowrap;">Finished</div></foreignObject></g></g></g></g></g></g></svg>