Files
failnix/injections/combined_comparison-countnegative.svg
T

104 lines
9.8 KiBLFS
XML

<?xml version='1.0' encoding='UTF-8' ?>
<svg xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink' width='864.00pt' height='432.00pt' viewBox='0 0 864.00 432.00'>
<g class='svglite'>
<defs>
<style type='text/css'><![CDATA[
.svglite line, .svglite polyline, .svglite polygon, .svglite path, .svglite rect, .svglite circle {
fill: none;
stroke: #000000;
stroke-linecap: round;
stroke-linejoin: round;
stroke-miterlimit: 10.00;
}
.svglite text {
white-space: pre;
}
.svglite g.glyphgroup path {
fill: inherit;
stroke: none;
}
]]></style>
</defs>
<rect width='100%' height='100%' style='stroke: none; fill: #FFFFFF;'/>
<defs>
<clipPath id='cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA='>
<rect x='0.00' y='0.00' width='864.00' height='432.00' />
</clipPath>
</defs>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
<rect x='0.000000000000064' y='0.000000000000057' width='864.00' height='432.00' style='stroke-width: 1.07; stroke: none; fill: #FFFFFF;' />
</g>
<defs>
<clipPath id='cpNDcuNzB8NjAwLjkxfDIyLjc3fDMzMS45Mg=='>
<rect x='47.70' y='22.77' width='553.20' height='309.15' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8NjAwLjkxfDIyLjc3fDMzMS45Mg==)'>
<polyline points='47.70,302.06 600.91,302.06 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,207.23 600.91,207.23 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,112.39 600.91,112.39 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,254.64 600.91,254.64 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,159.81 600.91,159.81 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,64.98 600.91,64.98 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='88.18,331.92 88.18,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='155.65,331.92 155.65,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='223.11,331.92 223.11,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='290.57,331.92 290.57,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='358.04,331.92 358.04,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='425.50,331.92 425.50,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='492.96,331.92 492.96,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='560.43,331.92 560.43,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='492.96' cy='144.79' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='223.11' cy='317.87' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='155.65' cy='120.18' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='88.18' cy='218.45' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='290.57' cy='205.98' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='358.04' cy='170.29' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='492.96' cy='102.47' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='223.11' cy='308.35' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='155.65' cy='81.10' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='560.43' cy='114.00' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='88.18' cy='184.29' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='290.57' cy='124.72' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='358.04' cy='121.76' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='425.50' cy='140.93' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='492.96' cy='56.24' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='155.65' cy='36.82' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='560.43' cy='58.51' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='88.18' cy='124.95' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='290.57' cy='61.81' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='358.04' cy='72.26' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='425.50' cy='92.71' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='88.18,218.45 155.65,120.18 223.11,317.87 290.57,205.98 358.04,170.29 492.96,144.79 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='88.18,184.29 155.65,81.10 223.11,308.35 290.57,124.72 358.04,121.76 425.50,140.93 492.96,102.47 560.43,114.00 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='88.18,124.95 155.65,36.82 290.57,61.81 358.04,72.26 425.50,92.71 492.96,56.24 560.43,58.51 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
<text x='42.77' y='257.67' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+02</text>
<text x='42.77' y='162.84' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+05</text>
<text x='42.77' y='68.00' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+08</text>
<text transform='translate(92.46,341.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='55.28px' lengthAdjust='spacingAndGlyphs'>OK_MARKER</text>
<text transform='translate(159.93,341.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='60.66px' lengthAdjust='spacingAndGlyphs'>FAIL_MARKER</text>
<text transform='translate(227.39,341.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='90.02px' lengthAdjust='spacingAndGlyphs'>DETECTED_MARKER</text>
<text transform='translate(294.85,341.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='39.59px' lengthAdjust='spacingAndGlyphs'>TIMEOUT</text>
<text transform='translate(362.32,341.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='23.48px' lengthAdjust='spacingAndGlyphs'>TRAP</text>
<text transform='translate(429.78,341.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='99.27px' lengthAdjust='spacingAndGlyphs'>WRITE_TEXTSEGMENT</text>
<text transform='translate(497.25,341.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='101.12px' lengthAdjust='spacingAndGlyphs'>ACCESS_OUTERSPACE</text>
<text transform='translate(564.71,341.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='79.73px' lengthAdjust='spacingAndGlyphs'>GROUP1_MARKER</text>
<text x='324.30' y='424.24' text-anchor='middle' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='34.22px' lengthAdjust='spacingAndGlyphs'>Marker</text>
<text transform='translate(13.05,177.34) rotate(-90)' text-anchor='middle' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='29.97px' lengthAdjust='spacingAndGlyphs'>Faults</text>
<text x='617.34' y='152.47' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='55.66px' lengthAdjust='spacingAndGlyphs'>Experiment</text>
<circle cx='625.98' cy='167.73' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<line x1='619.07' y1='167.73' x2='632.90' y2='167.73' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<circle cx='625.98' cy='185.01' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<line x1='619.07' y1='185.01' x2='632.90' y2='185.01' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<circle cx='625.98' cy='202.29' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<line x1='619.07' y1='202.29' x2='632.90' y2='202.29' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
<text x='640.10' y='170.75' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='195.36px' lengthAdjust='spacingAndGlyphs'>07-22_11-31-50_tacle-kernel-countnegative_c_fail</text>
<text x='640.10' y='188.03' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='203.17px' lengthAdjust='spacingAndGlyphs'>07-22_11-31-52_tacle-kernel-countnegative_aot_fail</text>
<text x='640.10' y='205.31' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='212.94px' lengthAdjust='spacingAndGlyphs'>07-22_11-31-55_tacle-kernel-countnegative_interp_fail</text>
<text x='47.70' y='14.55' style='font-size: 13.20px; font-family: "Liberation Sans";' textLength='134.83px' lengthAdjust='spacingAndGlyphs'>Combined Comparison</text>
</g>
</g>
</svg>