+++ /dev/null
-<?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">
-<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="143 28 197 186" width="197pt" height="186pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2014-11-19 20:33:35 +0000</dc:date></metadata><defs><filter id="Shadow" filterUnits="userSpaceOnUse"><feGaussianBlur in="SourceAlpha" result="blur" stdDeviation="1.308"/><feOffset in="blur" result="offset" dx="0" dy="2"/><feFlood flood-color="black" flood-opacity=".5" result="flood"/><feComposite in="flood" in2="offset" operator="in"/></filter><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -3 7 6" markerWidth="7" markerHeight="6" color="red"><g><path d="M 4.8000002 0 L 0 -1.8000001 L 0 1.8000001 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Arial Unicode MS" font-size="14" panose-1="2 11 6 4 2 2 2 2 2 4" units-per-em="1000" underline-position="-100.097656" underline-thickness="49.804688" slope="0" x-height="529.78516" cap-height="728.02734" ascent="1068.84766" descent="-270.9961" font-weight="500"><font-face-src><font-face-name name="ArialUnicodeMS"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="10" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Zapf Dingbats" font-size="14" panose-1="5 2 1 2 1 7 4 2 6 9" units-per-em="1000" underline-position="-100.097656" underline-thickness="60.058594" slope="0" x-height="542.48047" cap-height="723.14453" ascent="813.96484" descent="-176.75781" font-weight="500"><font-face-src><font-face-name name="ZapfDingbatsITC"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="11" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="14" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_2" viewBox="-1 -3 7 6" markerWidth="7" markerHeight="6" color="blue"><g><path d="M 4.7999992 0 L 0 -1.7999997 L 0 1.7999997 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="768.0188" height="588.0188"/><g><title>Layer 1</title><g><xl:use xl:href="#id24_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id25_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id28_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id36_Graphic" filter="url(#Shadow)"/></g><circle cx="200.11895" cy="97.06455" r="7.000961" fill="#faff8b"/><circle cx="200.11895" cy="97.06455" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><g id="id24_Graphic"><circle cx="181.96195" cy="123.90795" r="7.000961" fill="white"/><circle cx="181.96195" cy="123.90795" r="7.000961" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><g id="id25_Graphic"><circle cx="172.53795" cy="150.43695" r="7.000961" fill="white"/><circle cx="172.53795" cy="150.43695" r="7.000961" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><circle cx="191.43195" cy="176.96795" r="7.000961" fill="#a5ff78"/><circle cx="191.43195" cy="176.96795" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><circle cx="214.85695" cy="123.71495" r="7.000961" fill="#faff8b"/><circle cx="214.85695" cy="123.71495" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><g id="id28_Graphic"><circle cx="247.90995" cy="124.38295" r="7.000961" fill="white"/><circle cx="247.90995" cy="124.38295" r="7.000961" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><circle cx="225.50495" cy="152.11995" r="7.000961" fill="#faff8b"/><circle cx="225.50495" cy="152.11995" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="195.63552" y1="103.692876" x2="186.16524" y2="117.69378" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="179.45053" y1="130.97771" x2="175.04936" y2="143.36719" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="203.99181" y1="104.067766" x2="207.74168" y2="110.84856" marker-end="url(#FilledArrow_Marker)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="217.66598" y1="131.20841" x2="220.34415" y2="138.3528" marker-end="url(#FilledArrow_Marker)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="176.88977" y1="156.54779" x2="186.79009" y2="170.44984" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="219.0396" y1="156.83486" x2="203.31072" y2="168.30526" marker-end="url(#FilledArrow_Marker)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g id="id36_Graphic"><circle cx="261.44095" cy="151.22695" r="7.000961" fill="white"/><circle cx="261.44095" cy="151.22695" r="7.000961" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><line x1="207.06666" y1="101.036017" x2="241.39632" y2="120.65962" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="251.28707" y1="131.08278" x2="258.06383" y2="144.52712" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="261.34895" cy="178.96395" r="7.000961" fill="#ffafb4"/><circle cx="261.34895" cy="178.96395" r="7.000961" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="261.41607" y1="158.72786" x2="261.37383" y2="171.46304" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="208.09054" y1="127.98755" x2="178.88159" y2="146.43131" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="243.19621" y1="130.21848" x2="230.53287" y2="145.895465" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(256.333 169.281)" fill="black"><tspan font-family="Arial Unicode MS" font-size="14" font-weight="500" x="0" y="15" textLength="10.5">☠</tspan></text><text transform="translate(228.228 55.8818)" fill="black"><tspan font-family="Helvetica" font-size="10" font-weight="500" x="0" y="10" textLength="84.506836">based on input set </tspan><tspan font-family="Helvetica" font-size="10" font-weight="500" fill="blue" x="84.506836" y="10" textLength="12.241211">{d}</tspan><tspan font-family="Helvetica" font-size="10" font-weight="500" x="0" y="22" textLength="40.585938">only one </tspan><tspan font-family="Helvetica" font-size="10" font-weight="500" fill="red" x="40.585938" y="22" textLength="19.462891">path</tspan><tspan font-family="Helvetica" font-size="10" font-weight="500" x="0" y="34" textLength="81.713867">executed at a time</tspan></text><text transform="translate(176 190)" fill="#00c300"><tspan font-family="Zapf Dingbats" font-size="14" font-weight="500" fill="#00c300" x=".076660156" y="11" textLength="11.84668">✔</tspan></text><text transform="translate(203.93402 37.205296)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="35.465332">testing:</tspan></text><text transform="translate(157.263 64)" fill="blue"><tspan font-family="Helvetica" font-size="14" font-weight="500" fill="blue" x="0" y="14" textLength="17.137695">{d}</tspan></text><path d="M 180.263 69.663568 C 186.02242 68.496695 194.58713 64.273384 197.543 66.1626 C 199.34019 67.31126 199.0646 70.719975 198.60663 74.327384" marker-end="url(#FilledArrow_Marker_2)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g></g></svg>
projects / jpf-core.git / blobdiff
