Skip to content

Instantly share code, notes, and snippets.

@lovettchris

lovettchris/graph.dgml

Last active October 28, 2019 19:15
Show Gist options
  • Save lovettchris/39bba45067ed233e98803c6d7fc14c40 to your computer and use it in GitHub Desktop.
Save lovettchris/39bba45067ed233e98803c6d7fc14c40 to your computer and use it in GitHub Desktop.
Download ZIP
A DGML graph generated by CoyoteTester
Raw
graph.dgml
<DirectedGraph xmlns='http://schemas.microsoft.com/vs/2009/dgml'>
<Nodes>
<Node Id='Coyote.Examples.FailureDetector.Driver' Label='Coyote.Examples.FailureDetector.Driver' Group='Expanded'/>
<Node Id='Coyote.Examples.FailureDetector.Driver.Init' Label='Init'/>
<Node Id='Coyote.Examples.FailureDetector.Driver.InjectFailures' Label='InjectFailures'/>
<Node Id='Coyote.Examples.FailureDetector.FailureDetector' Label='Coyote.Examples.FailureDetector.FailureDetector' Group='Expanded'/>
<Node Id='Coyote.Examples.FailureDetector.FailureDetector.Init' Label='Init'/>
<Node Id='Coyote.Examples.FailureDetector.FailureDetector.Reset' Label='Reset'/>
<Node Id='Coyote.Examples.FailureDetector.FailureDetector.SendPing' Label='SendPing'/>
<Node Id='Coyote.Examples.FailureDetector.Liveness' Label='Coyote.Examples.FailureDetector.Liveness' Group='Expanded'/>
<Node Id='Coyote.Examples.FailureDetector.Liveness.Done' Label='Done'/>
<Node Id='Coyote.Examples.FailureDetector.Liveness.Init' Label='Init'/>
<Node Id='Coyote.Examples.FailureDetector.Liveness.Wait' Label='Wait'/>
<Node Id='Coyote.Examples.FailureDetector.Liveness.Wait[hot]' Label='Wait[hot]'/>
<Node Id='Coyote.Examples.FailureDetector.Node' Label='Coyote.Examples.FailureDetector.Node' Group='Expanded'/>
<Node Id='Coyote.Examples.FailureDetector.Node.Halt' Label='Halt'/>
<Node Id='Coyote.Examples.FailureDetector.Node.Init' Label='Init'/>
<Node Id='Coyote.Examples.FailureDetector.Node.WaitPing' Label='WaitPing'/>
<Node Id='Coyote.Examples.FailureDetector.Safety' Label='Coyote.Examples.FailureDetector.Safety'/>
<Node Id='Coyote.Examples.FailureDetector.Timer' Label='Coyote.Examples.FailureDetector.Timer' Group='Expanded'/>
<Node Id='Coyote.Examples.FailureDetector.Timer.Init' Label='Init'/>
<Node Id='Coyote.Examples.FailureDetector.Timer.WaitForCancel' Label='WaitForCancel'/>
<Node Id='Coyote.Examples.FailureDetector.Timer.WaitForReq' Label='WaitForReq'/>
</Nodes>
<Links>
<Link Source='Coyote.Examples.FailureDetector.Driver.Init' Target='Coyote.Examples.FailureDetector.Driver.Init' Label='goto' EventId='Microsoft.Coyote.Machines.GotoStateEvent'/>
<Link Source='Coyote.Examples.FailureDetector.Driver.Init' Target='Coyote.Examples.FailureDetector.Driver.InjectFailures' Label='goto'/>
<Link Source='Coyote.Examples.FailureDetector.Driver.Init' Target='Coyote.Examples.FailureDetector.FailureDetector.SendPing' Label='RegisterClient' EventId='Coyote.Examples.FailureDetector.Driver+RegisterClient'/>
<Link Source='Coyote.Examples.FailureDetector.Driver.InjectFailures' Target='Coyote.Examples.FailureDetector.Node.WaitPing' Label='Microsoft.Coyote.Machines.Halt' EventId='Microsoft.Coyote.Machines.Halt'/>
<Link Source='Coyote.Examples.FailureDetector.Driver' Target='Coyote.Examples.FailureDetector.Driver.Init' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.Driver' Target='Coyote.Examples.FailureDetector.Driver.InjectFailures' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.FailureDetector.Init' Target='Coyote.Examples.FailureDetector.FailureDetector.Init' Label='Unit' EventId='Coyote.Examples.FailureDetector.FailureDetector+Unit'/>
<Link Source='Coyote.Examples.FailureDetector.FailureDetector.Init' Target='Coyote.Examples.FailureDetector.FailureDetector.SendPing' Label='Microsoft.Coyote.Machines.Halt(push)' EventId='Microsoft.Coyote.Machines.Halt'/>
<Link Source='Coyote.Examples.FailureDetector.FailureDetector.Reset' Target='Coyote.Examples.FailureDetector.FailureDetector.SendPing' Label='TimeoutEvent(goto)' EventId='Coyote.Examples.FailureDetector.Timer+TimeoutEvent'/>
<Link Source='Coyote.Examples.FailureDetector.FailureDetector.Reset' Target='Coyote.Examples.FailureDetector.Timer.WaitForReq' Label='StartTimerEvent' EventId='Coyote.Examples.FailureDetector.Timer+StartTimerEvent'/>
<Link Source='Coyote.Examples.FailureDetector.FailureDetector.SendPing' Target='Coyote.Examples.FailureDetector.Driver.InjectFailures' Label='NodeFailed' EventId='Coyote.Examples.FailureDetector.FailureDetector+NodeFailed'/>
<Link Source='Coyote.Examples.FailureDetector.FailureDetector.SendPing' Target='Coyote.Examples.FailureDetector.FailureDetector.Reset' Label='TimeoutEvent(goto)' EventId='Coyote.Examples.FailureDetector.Timer+TimeoutEvent'/>
<Link Source='Coyote.Examples.FailureDetector.FailureDetector.SendPing' Target='Coyote.Examples.FailureDetector.FailureDetector.SendPing' Label='goto' EventId='Coyote.Examples.FailureDetector.FailureDetector+RoundDone'/>
<Link Source='Coyote.Examples.FailureDetector.FailureDetector.SendPing' Target='Coyote.Examples.FailureDetector.Timer.WaitForReq' Label='StartTimerEvent' EventId='Coyote.Examples.FailureDetector.Timer+StartTimerEvent'/>
<Link Source='Coyote.Examples.FailureDetector.FailureDetector' Target='Coyote.Examples.FailureDetector.FailureDetector.Init' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.FailureDetector' Target='Coyote.Examples.FailureDetector.FailureDetector.Reset' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.FailureDetector' Target='Coyote.Examples.FailureDetector.FailureDetector.SendPing' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.Liveness.Init' Target='Coyote.Examples.FailureDetector.Liveness.Init' Label='goto' EventId='Microsoft.Coyote.Machines.GotoStateEvent'/>
<Link Source='Coyote.Examples.FailureDetector.Liveness.Init' Target='Coyote.Examples.FailureDetector.Liveness.Wait[hot]' Label='RegisterNodes' EventId='Coyote.Examples.FailureDetector.Liveness+RegisterNodes'/>
<Link Source='Coyote.Examples.FailureDetector.Liveness.Wait' Target='Coyote.Examples.FailureDetector.Liveness.Done' Label='NodeFailed' EventId='Coyote.Examples.FailureDetector.FailureDetector+NodeFailed'/>
<Link Source='Coyote.Examples.FailureDetector.Liveness.Wait' Target='Coyote.Examples.FailureDetector.Liveness.Wait[hot]' Label='goto' EventId='Microsoft.Coyote.Machines.GotoStateEvent'/>
<Link Source='Coyote.Examples.FailureDetector.Liveness' Target='Coyote.Examples.FailureDetector.Liveness.Done' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.Liveness' Target='Coyote.Examples.FailureDetector.Liveness.Init' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.Liveness' Target='Coyote.Examples.FailureDetector.Liveness.Wait' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.Liveness' Target='Coyote.Examples.FailureDetector.Liveness.Wait[hot]' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.Node.Halt' Target='Coyote.Examples.FailureDetector.Node.Halt' Label='halt'/>
<Link Source='Coyote.Examples.FailureDetector.Node.Init' Target='Coyote.Examples.FailureDetector.Node.Halt' Label='halt'/>
<Link Source='Coyote.Examples.FailureDetector.Node' Target='Coyote.Examples.FailureDetector.Node.Halt' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.Node' Target='Coyote.Examples.FailureDetector.Node.Init' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.Node' Target='Coyote.Examples.FailureDetector.Node.WaitPing' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.Timer.Init' Target='Coyote.Examples.FailureDetector.Timer.Init' Label='goto' EventId='Microsoft.Coyote.Machines.GotoStateEvent'/>
<Link Source='Coyote.Examples.FailureDetector.Timer.Init' Target='Coyote.Examples.FailureDetector.Timer.WaitForReq' Label='RegisterClient(goto)' EventId='Coyote.Examples.FailureDetector.Driver+RegisterClient'/>
<Link Source='Coyote.Examples.FailureDetector.Timer.WaitForCancel' Target='Coyote.Examples.FailureDetector.FailureDetector.Reset' Label='TimeoutEvent' EventId='Coyote.Examples.FailureDetector.Timer+TimeoutEvent'/>
<Link Source='Coyote.Examples.FailureDetector.Timer.WaitForCancel' Target='Coyote.Examples.FailureDetector.FailureDetector.SendPing' Label='TimeoutEvent' EventId='Coyote.Examples.FailureDetector.Timer+TimeoutEvent'/>
<Link Source='Coyote.Examples.FailureDetector.Timer.WaitForCancel' Target='Coyote.Examples.FailureDetector.Timer.WaitForReq' Label='goto'/>
<Link Source='Coyote.Examples.FailureDetector.Timer.WaitForReq' Target='Coyote.Examples.FailureDetector.Timer.WaitForCancel' Label='StartTimerEvent(goto)' EventId='Coyote.Examples.FailureDetector.Timer+StartTimerEvent'/>
<Link Source='Coyote.Examples.FailureDetector.Timer' Target='Coyote.Examples.FailureDetector.Timer.Init' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.Timer' Target='Coyote.Examples.FailureDetector.Timer.WaitForCancel' Category='Contains'/>
<Link Source='Coyote.Examples.FailureDetector.Timer' Target='Coyote.Examples.FailureDetector.Timer.WaitForReq' Category='Contains'/>
</Links>
</DirectedGraph>
Display the source blob
Display the rendered blob
Raw
graph.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Display the source blob
Display the rendered blob
Raw
raft.svg
<?xml version="1.0" encoding="utf-8"?>
<svg stroke-linecap="round" font-size="12" font-family="Segoe UI" width="1911.7241666666666" height="1848.9575000000014" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg">
<defs />
<rect width="1911.7241666666666" height="1848.9575000000014" fill="#1E1E1E" />
<g transform="translate(19,20)">
<path d="M 1399.41766801563,357.68 L 1455.37212960285,453.515274819195" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1459.91002732524,461.2875 L 1458.32224104739,450.634850811378 C 1456.52357037038,452.842993675138 1454.22068883532,454.187555963253 1451.41359644223,454.668537675723 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 1143.345,289.114087147887 L 929.777425154289,444.407149430693" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 922.498333333333,449.700052439638 L 932.938614471704,447.054201016791 C 930.561558933392,445.485533404168 928.993291375186,443.328765457218 928.233811797086,440.583897175941 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 1143.345,201.656664687983 L 648,276.181875 C 216.666666666667,341.076458333334 1,528.240833333334 1,837.675000000001 L 1,1069.750625 C 1,1224.46770833333 41.75,1312.7215625 123.25,1334.5121875 L 367.241242407622,1399.7480361698" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 375.935833333333,1402.07270574514 L 367.30836322714,1395.62547691667 C 367.585637900265,1398.45994862525 366.896846914978,1401.03612371435 365.241990271279,1403.35400218397 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 1325.48153616479,357.68 C 1331.16051205493,420.700568132348 1334,503.340359799015 1334,605.599375 C 1334,760.316458333334 1322.41675401195,859.61385611676 1299.25026203585,903.49156835028 C 1276.08377005975,947.3692805838 1183.75043672642,996.943863917133 1022.25026203585,1052.21531835028 L 913.013463663144,1089.60027310496" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 904.498333333334,1092.51447204572 L 915.254788784573,1093.06097559146 C 913.445196839553,1090.86177389456 912.581730486734,1088.33877231536 912.664389726117,1085.49197085385 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 1143.345,213.01218067853 L 863,276.181875 C 575,341.076458333334 431,429.091666666667 431,540.227500000001 C 431,634.228427432113 431.357705864685,704.064684219576 432.073117594054,749.736270362388" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 432.224329065699,758.735000000001 L 436.055751713921,748.669206415256 C 433.406262725552,749.713868662885 430.739972462556,749.758672061891 428.056880924932,748.803616612274 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 1349.5816398578,357.680000000001 C 1362.52721328593,453.508634709146 1369,613.50696804248 1369,837.675000000001 C 1369,1108.93221571998 1360.03453419722,1278.03963574237 1342.10360259166,1344.99726006716" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1339.55884302505,1353.63 L 1346.22312695811,1345.16907099311 C 1343.38252702616,1345.37426148443 1340.82467815717,1344.62025864988 1338.54958035113,1342.90706248946 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 952.176666666667,733.704658789096 C 930.089900246012,717.958121777062 913.642016165034,709.688917599643 902.833014423735,708.897046256839 C 896.61351745772,708.441403679298 889.903772470955,704.706447275804 882.703779463441,697.692177046356" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 876.590004760907,691.087500000001 L 880.44767574312,701.143263252633 C 881.725308789907,698.597921446732 883.682250136975,696.786432645981 886.318499784325,695.708796850381 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 728.132703138288,1317.67 C 728.038172092548,1310.23245912416 728.357394070896,1302.65046622166 729.090369073331,1294.9240212925" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 730.114672239277,1285.9825 L 725.002548147115,1295.4622778068 C 727.76569925222,1294.77227267532 730.415038894442,1295.07576990968 732.950567073782,1296.37276950987 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 769.504540780638,722.775000000001 C 768.944447482719,715.355412939135 768.696170832512,707.792070408377 768.759710830016,700.084972407724" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 768.972995316683,691.087500000001 L 764.737135928065,700.989898458952 C 767.426751954798,700.053374705996 770.092669705235,700.116570109453 772.734889179375,701.179484669323 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 922.498333333333,673.285870516177 C 936.329996337549,688.077507951848 949.700857993393,702.381780196712 962.610918300866,716.198687250769" fill="none" stroke="#A0A0A0" stroke-width="1.792481250360578" />
<path d="M 968.755192922357,722.775 L 964.851026787025,712.737197113525 C 963.585186856308,715.288424343882 961.636649745424,717.108950157657 959.005415454375,718.198774554851 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 827.027004683317,691.087500000001 C 827.327171058578,698.794774472156 827.324304658832,706.362343064961 827.018405484078,713.790205778416" fill="none" stroke="#A0A0A0" stroke-width="1.792481250360578" />
<path d="M 826.495459219362,722.775000000001 L 831.069752500861,713.024315871447 C 828.349486109498,713.867679299114 825.687324858658,713.712732257717 823.083268748342,712.559474747255 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 673.501666666667,658.669103711149 C 632.69233349447,717.099472812252 614.191777938914,804.552063241869 618,921.026875000001 C 622.666666666667,1063.75729166667 602.5,1184.69708333333 557.5,1283.84625 L 529.547416305926,1345.43459176551" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 525.827835164189,1353.63 L 533.603106759228,1346.17713802467 C 530.761550859184,1345.98564082354 528.333281752667,1344.88354270747 526.318299439677,1342.87084367646 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 673.501666666667,621.937496202428 L 671,623.579375 C 599.085932608637,670.777582527139 544.486527427798,713.651934130037 507.201784457484,752.202429808696" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 501.011023058781,758.735000000001 L 510.793011364587,754.228038186864 C 508.169572633974,753.119579645541 506.233996280995,751.285279971851 504.986282305649,748.725139165794 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 922.498333333333,585.150311764972 L 1144.5,665.2553125 C 1221.5,693.039270833334 1263.25,767.401145833334 1269.75,888.340937500001 L 1294.27429572177,1344.64297063263" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1294.75731036966,1353.63 L 1298.21486270194,1343.4297386372 C 1295.60570747989,1344.57141290702 1292.94288396364,1344.71452835825 1290.22639215317,1343.85908499088 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 566.377723600555,1511.51 L 660.364153149623,1608.64943279333" fill="none" stroke="#A0A0A0" stroke-width="1.5" />
<path d="M 666.622276399445,1615.1175 L 662.543502658163,1605.14937054822 C 661.322385328389,1607.72230342299 659.405920970856,1609.57656216367 656.794109585566,1610.71214677029 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 516.273745787072,1353.63 L 539.5,1283.84625 C 572.5,1184.69708333333 587.333333333334,1063.75729166667 584,921.026875000001 C 581.012930331911,793.123165498396 608.674940832749,700.216623466976 666.986031502512,642.307248905738" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 673.501666666667,636.098666264939 L 663.502701977251,640.101253570647 C 666.066241481653,641.34196962216 667.905821523371,643.272528189317 669.021442102406,645.892929272118 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 482.452794110617,1511.51 L 469.965738977029,1642.11835316977" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 469.109183039343,1651.0775 L 474.042754894651,1641.50358393872 C 471.293019988915,1642.24525034573 468.638457965143,1641.99145599382 466.079068823336,1640.742200883 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 788.16868160591,1285.9825 C 787.735414442168,1293.70890778036 787.095216796227,1301.29491518073 786.248088668089,1308.7405222011" fill="none" stroke="#A0A0A0" stroke-width="1.792481250360578" />
<path d="M 785.123621577013,1317.67 L 790.341686255498,1308.24812115281 C 787.570974267926,1308.9071099183 784.925203068251,1308.5739344839 782.404372656474,1307.24859484963 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 904.144927095824,1282.82889280934 L 927.637650611886,1310.78030032152" fill="none" stroke="#A0A0A0" stroke-width="1.5" />
<path d="M 933.428336092924,1317.67 L 930.056329859986,1307.44114014345 C 928.658346860551,1309.92242099099 926.616954363222,1311.63817965204 923.932152368001,1312.58841612659 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 678.349186449052,984.262500000001 C 663.711554659007,955.204828971515 654.761825842656,928.132953971515 651.5,903.046875000001 C 645.833333333333,859.465625000001 643,815.884375000001 643,772.303125000001 C 643,747.157170915388 651.600373634189,720.015930147644 668.801120902566,690.879402696768" fill="none" stroke="#A0A0A0" stroke-width="1.5" />
<path d="M 673.501666666667,683.20445191389 L 664.867748803053,689.643043555265 C 667.664091156954,690.18302554653 669.938150648177,691.575779847005 671.689927276722,693.821306456688 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 665.853656810543,1285.9825 C 655.116859401529,1298.93189430974 647.960860635036,1306.43037429854 644.385660511066,1308.47793996641 C 638.560403012361,1311.81414405212 621.458099817937,1324.97410287738 593.078750927792,1347.95781644219" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 586.091166675244,1353.63 L 596.376119648215,1350.43316682579 C 593.919074417839,1348.99301410923 592.238427437746,1346.92261877514 591.334178707936,1344.22198082352 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 655.501666666667,1004.40727468703 C 635.237263440662,985.750018985477 616.594193906859,975.839781589799 599.572458065257,974.676562500001 L 553.786229032629,971.547656250001 C 524.859324261888,969.570870324568 501.331765804023,953.853407491968 483.203553659035,924.3952677522" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 478.679458865146,916.615000000001 L 480.248334079601,927.270450744173 C 482.05092139945,925.065504017961 484.35618591862,923.725031486439 487.164127637111,923.249033149605 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 904.498333333334,1191.69351272775 L 1009.29520388052,1239.31234375 C 1098.16304501316,1279.69315558257 1161.83023824148,1315.85400063861 1200.29678356547,1347.79487891813" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1207.14888995401,1353.63 L 1202.12882555869,1344.10115151412 C 1201.16124594797,1346.77975204575 1199.43232118297,1348.8100057905 1196.94205126369,1350.19191274838 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 904.498333333334,1092.24163422435 L 1022,1051.770625 C 1183.33333333333,996.202708333334 1269.16666666667,946.628125000001 1279.5,903.046875000001 C 1289.83333333333,859.465625000001 1295,727.869166666667 1295,508.2575 L 1295,366.68" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1295,357.68 L 1291,367.68 C 1293.66666666667,366.68 1296.33333333333,366.68 1299,367.68 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 360.22119869893,916.615000000001 L 269.533070033601,1013.64721996828" fill="none" stroke="#A0A0A0" stroke-width="1.5" />
<path d="M 263.387690264668,1020.2225 L 273.138236688693,1015.64791319539 C 270.507185593856,1014.55764660071 268.558954473345,1012.73679333584 267.29354332716,1010.18535340078 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 454.845666500236,758.735000000001 C 473.607101013032,718.512554197124 532.658545512954,673.460679197124 632,623.579375 L 665.458653105796,606.779125172635" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 673.501666666667,602.740569383786 L 662.770071248433,603.653180899898 C 664.860348544485,605.587567608062 666.056957667107,607.970682737209 666.359898616299,610.802526287339 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 526.026715732581,916.615000000001 C 567.777597223949,951.349172018384 595.843058574641,969.522537045406 610.223099784658,971.135095081066 C 618.663269956465,972.081564151225 631.524510847502,980.122971691643 648.80682245777,995.259317702322" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 655.501666666667,1001.27422094499 L 650.736241209077,991.615508804738 C 649.697919234461,994.267488930633 647.915725681079,996.25114647401 645.389660548931,997.566481434869 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 434,916.615000000001 L 434,1083.1425" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 434,1092.1425 L 438,1082.1425 C 435.333333333333,1083.1425 432.666666666667,1083.1425 430,1082.1425 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 1215.07507051006,1511.51 L 1148.95295510717,1573.7046282425" fill="none" stroke="#A0A0A0" stroke-width="1.5" />
<path d="M 1142.39727760454,1579.87091500857 L 1152.42193561461,1575.9331197141 C 1149.86647907251,1574.67583972437 1148.03943114183,1572.73341676063 1146.94079182254,1570.10585082287 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 1291.2761291345,1353.63 L 1241.3125,842.988515625 C 1232.4375,752.283671875001 1201.125,696.512265625001 1147.375,675.674296875 L 930.889788646746,591.746630474698" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 922.498333333334,588.493404733528 L 930.376294463271,595.837635696344 C 930.407829277683,592.989809039648 931.371748015808,590.503451909748 933.268050677645,588.378564306645 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 1209.32098235841,1353.63 C 1175.22565014195,1323.95365708873 1147.40080537632,1308.21568833873 1125.84644806154,1306.41609375 L 1114.85162369099,1305.498125 C 1085.53209203622,1303.05020833333 1022.39360517402,1274.04229166667 925.436163104413,1218.474375 L 912.306837435194,1210.94974090174" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 904.498333333334,1206.4745578115 L 911.185478739735,1214.91742973482 C 911.64384734775,1212.10655632424 912.969827522638,1209.79292547925 915.163419264399,1207.97653719983 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<path d="M 1299,1511.51 L 1299,1642.0775" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1299,1651.0775 L 1303,1641.0775 C 1300.33333333333,1642.0775 1297.66666666667,1642.0775 1295,1641.0775 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<rect x="1400.3325" y="461.28750000000036" rx="5" ry="5" width="211.33500000000004" height="157.88000000000011" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="1425.3325" y="479.23750000000035" fill="#000000">Coyote.Examples.Raft.Client(8)</text>
<rect x="1405.3325" y="489.24750000000034" width="201.33500000000004" height="124.9200000000001" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 1520.01916666667,507.846331940105 C 1517.1780001488,507.800443980035 1514.09466681547,507.7775 1510.76916666667,507.7775 C 1487.93583333333,507.7775 1476.51916666667,509.940833333334 1476.51916666667,514.2675 C 1476.51916666667,518.594166666667 1487.93583333333,520.7575 1510.76916666667,520.7575 C 1510.8527405756,520.7575 1510.93616153712,520.757485509071 1511.01942955124,520.757456527212" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1520.01916666667,520.688668059896 L 1509.9888861085,516.765216527836 C 1511.00923866719,519.424162139741 1511.02962043529,522.090750914682 1510.05003141278,524.764982852658 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1420.3325" y="519.23750000000041" fill="#A0A0A0">LocalEvent</text>
<path d="M 1545.01916666667,527.2475 L 1545.01916666667,564.2075" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1545.01916666667,573.2075 L 1549.01916666667,563.2075 C 1546.3525,564.2075 1543.68583333333,564.2075 1541.01916666667,563.2075 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1463.8491666666666" y="555.19750000000045" fill="#A0A0A0">ConfigureEvent</text>
<rect x="1520.0191666666667" y="501.28750000000036" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1536.0191666666667" y="519.23750000000041" fill="#3D3D3D">Init</text>
<rect x="1498.3708333333334" y="573.20750000000044" rx="3" ry="3" width="93.296666666666624" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1508.3708333333334" y="591.15750000000048" fill="#3D3D3D">PumpRequest</text>
<rect x="1143.345" rx="5" ry="5" width="303.31000000000017" height="357.68000000000029" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="1187.345" y="17.950000000000003" fill="#000000">Coyote.Examples.Raft.ClusterManager(2)</text>
<rect x="1148.345" y="27.96" width="293.31000000000017" height="324.72000000000031" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 1333.37,265.76 L 1333.37,302.72" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1333.37,311.72 L 1337.37,301.72 C 1334.70333333333,302.72 1332.03666666667,302.72 1329.37,301.72 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1226.4633333333334" y="293.71000000000021" fill="#A0A0A0">NotifyLeaderUpdate</text>
<path d="M 1263.03166666667,246.392693416721 C 1234.03166666667,246.868486093264 1219.53166666667,248.99758828769 1219.53166666667,252.78 C 1219.53166666667,256.148604024572 1231.03252699609,258.205864473525 1254.03424765495,258.951781346857" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1263.03166666667,259.167306583279 L 1253.13032342539,254.928981204268 C 1254.0661773196,257.618830382158 1254.00231799029,260.284732311557 1252.93874543746,262.926686992464 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1163.345" y="257.75000000000017" fill="#A0A0A0">LocalEvent</text>
<path d="M 1304.385,137.88 L 1304.385,174.84" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1304.385,183.84 L 1308.385,173.84 C 1305.71833333333,174.84 1303.05166666667,174.84 1300.385,173.84 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1279.1916666666666" y="165.8300000000001" fill="#A0A0A0">goto</text>
<path d="M 1263.03166666667,118.41052588707 C 1262.67618078775,118.41017529569 1262.31840300997,118.41 1261.95833333333,118.41 C 1233.67388888889,118.41 1219.53166666667,120.573333333333 1219.53166666667,124.9 C 1219.53166666667,128.801619185805 1231.03173810203,130.944074395758 1254.03188097276,131.327365629858" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1263.03166666667,131.38947411293 L 1253.0595085548,127.320559934445 C 1254.04108222951,129.994064045575 1254.022679716,132.660667214142 1253.00430101429,135.320369440144 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1163.345" y="129.87000000000006" fill="#A0A0A0">LocalEvent</text>
<path d="M 1304.385,65.96 L 1304.385,102.92" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1304.385,111.92 L 1308.385,101.92 C 1305.71833333333,102.92 1303.05166666667,102.92 1300.385,101.92 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1279.1916666666666" y="93.910000000000039" fill="#A0A0A0">goto</text>
<path d="M 1279.385,46.5588319401044 C 1276.54383348213,46.5129439800348 1273.4605001488,46.49 1270.135,46.49 C 1247.30166666667,46.49 1235.885,48.6533333333333 1235.885,52.98 C 1235.885,57.3066666666666 1247.30166666667,59.47 1270.135,59.47 C 1270.21857390893,59.47 1270.30199487046,59.4699855090705 1270.38526288457,59.4699565272115" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1279.385,59.4011680598957 L 1269.35471944183,55.4777165278353 C 1270.37507200053,58.1366621397411 1270.39545376862,60.8032509146819 1269.41586474611,63.4774828526578 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1179.6983333333333" y="57.95" fill="#A0A0A0">LocalEvent</text>
<rect x="1240.085" y="311.72000000000025" rx="3" ry="3" width="186.57000000000016" height="25.95999999999998" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1250.085" y="329.67000000000024" fill="#3D3D3D">Availability.Availability.Available</text>
<rect x="1204.2833333333333" y="183.84000000000015" rx="3" ry="3" width="200.20333333333338" height="25.960000000000008" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1214.2833333333333" y="201.79000000000013" fill="#3D3D3D">Availability.Availability.Unavailable</text>
<rect x="1263.0316666666668" y="239.80000000000018" rx="3" ry="3" width="140.67666666666673" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1273.0316666666668" y="257.75000000000017" fill="#3D3D3D">Availability.Unavailable</text>
<rect x="1263.0316666666668" y="111.92000000000007" rx="3" ry="3" width="82.7066666666667" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1273.0316666666668" y="129.87000000000006" fill="#3D3D3D">Configuring</text>
<rect x="1279.385" y="40" rx="3" ry="3" width="50" height="25.960000000000008" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1295.385" y="57.95" fill="#3D3D3D">Init</text>
<rect x="952.17666666666662" y="722.77500000000055" rx="5" ry="5" width="247.64666666666665" height="229.80000000000018" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="971.17666666666662" y="740.72500000000059" fill="#000000">Coyote.Examples.Raft.ElectionTimer(11)</text>
<rect x="957.17666666666662" y="750.73500000000058" width="237.64666666666665" height="196.84000000000017" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 1068.54875,841.242885345608 C 1065.86246009081,841.204295115203 1062.96912675748,841.185000000001 1059.86875,841.185000000001 C 1036.65541666667,841.185000000001 1025.04875,843.348333333334 1025.04875,847.675000000001 C 1025.04875,851.98175104726 1036.54881175643,854.145038544858 1059.54893526929,854.164862492795" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1068.54875,854.107114654393 L 1058.52329014881,850.171361261189 C 1059.54038003397,852.831556606763 1059.55749050461,855.498168378826 1058.57462156072,858.171196577378 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="975.39874999999984" y="852.64500000000066" fill="#A0A0A0">TickEvent</text>
<path d="M 1109.97526279199,860.655000000001 L 1115.86375,865.655000000001 C 1129.65199219815,877.362796681123 1129.97277586632,889.070593362246 1116.82610100451,900.778390043369" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1109.97526279199,906.615000000001 L 1120.18135411996,903.174694809308 C 1117.69078396105,901.793329037817 1115.96141804797,899.763451048921 1114.99325638073,897.085060842622 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1126.9512499999999" y="888.6050000000007" fill="#A0A0A0">TickEvent</text>
<path d="M 1079.16761540601,906.615000000001 L 1073.18875,901.615000000001 C 1059.16779154858,889.889565908999 1058.86222443877,878.164131817997 1072.27204867058,866.438697726996" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1079.16761540601,860.655000000001 L 1068.93534226575,864.016634480916 C 1071.41520456288,865.41713228471 1073.12889277828,867.460263169282 1074.07640691197,870.14602713463 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="978.6087500000001" y="888.6050000000007" fill="#A0A0A0">StartTimerEvent</text>
<path d="M 1094.68875,788.735000000001 L 1094.68875,825.695000000001" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1094.68875,834.695000000001 L 1098.68875,824.695000000001 C 1096.02208333333,825.695000000001 1093.35541666667,825.695000000001 1090.68875,824.695000000001 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1011.3587500000001" y="816.68500000000063" fill="#A0A0A0">StartTimerEvent</text>
<rect x="1068.5487500000002" y="834.69500000000062" rx="3" ry="3" width="52.279999999999973" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1078.5487500000002" y="852.64500000000066" fill="#3D3D3D">Active</text>
<rect x="1064.3737500000002" y="906.61500000000069" rx="3" ry="3" width="60.629999999999882" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1074.3737500000002" y="924.56500000000074" fill="#3D3D3D">Inactive</text>
<rect x="1069.68875" y="762.77500000000055" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1085.68875" y="780.72500000000059" fill="#3D3D3D">Init</text>
<rect x="32.176666666666733" y="1020.222500000001" rx="5" ry="5" width="247.64666666666665" height="229.80000000000018" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="51.176666666666733" y="1038.172500000001" fill="#000000">Coyote.Examples.Raft.ElectionTimer(13)</text>
<rect x="37.176666666666733" y="1048.182500000001" width="237.64666666666665" height="196.84000000000017" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 174.3475,1138.69038534561 C 171.661210090812,1138.6517951152 168.767876757479,1138.6325 165.6675,1138.6325 C 142.454166666667,1138.6325 130.8475,1140.79583333333 130.8475,1145.1225 C 130.8475,1149.42925104726 142.347561756429,1151.59253854486 165.347685269287,1151.6123624928" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 174.3475,1151.55461465439 L 164.322040148807,1147.61886126119 C 165.339130033968,1150.27905660676 165.356240504606,1152.94566837883 164.37337156072,1155.61869657738 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="81.197500000000076" y="1150.0925000000011" fill="#A0A0A0">TickEvent</text>
<path d="M 200.4875,1158.1025 L 200.4875,1195.0625" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 200.4875,1204.0625 L 204.4875,1194.0625 C 201.820833333333,1195.0625 199.154166666667,1195.0625 196.4875,1194.0625 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="150.83750000000009" y="1186.0525000000012" fill="#A0A0A0">TickEvent</text>
<path d="M 200.4875,1086.1825 L 200.4875,1123.1425" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 200.4875,1132.1425 L 204.4875,1122.1425 C 201.820833333333,1123.1425 199.154166666667,1123.1425 196.4875,1122.1425 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="117.15750000000008" y="1114.1325000000011" fill="#A0A0A0">StartTimerEvent</text>
<rect x="174.34750000000008" y="1132.1425000000011" rx="3" ry="3" width="52.279999999999973" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="184.34750000000008" y="1150.0925000000011" fill="#3D3D3D">Active</text>
<rect x="170.17250000000007" y="1204.0625000000011" rx="3" ry="3" width="60.629999999999995" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="180.17250000000007" y="1222.0125000000012" fill="#3D3D3D">Inactive</text>
<rect x="175.48750000000007" y="1060.222500000001" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="191.48750000000007" y="1078.172500000001" fill="#3D3D3D">Init</text>
<rect x="897.17666666666651" y="1579.1575000000012" rx="5" ry="5" width="247.64666666666676" height="229.80000000000018" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="917.17666666666651" y="1597.1075000000012" fill="#000000">Coyote.Examples.Raft.ElectionTimer(15)</text>
<rect x="902.17666666666651" y="1607.1175000000012" width="237.64666666666676" height="196.84000000000017" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 1039.3475,1697.62538534561 C 1036.66121009081,1697.5867951152 1033.76787675748,1697.5675 1030.6675,1697.5675 C 1007.45416666667,1697.5675 995.8475,1699.73083333333 995.8475,1704.0575 C 995.8475,1708.36425104726 1007.34756175643,1710.52753854486 1030.34768526929,1710.5473624928" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1039.3475,1710.48961465439 L 1029.32204014881,1706.55386126119 C 1030.33913003397,1709.21405660676 1030.35624050461,1711.88066837883 1029.37337156072,1714.55369657738 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="946.19749999999988" y="1709.0275000000013" fill="#A0A0A0">TickEvent</text>
<path d="M 1065.4875,1717.0375 L 1065.4875,1753.9975" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1065.4875,1762.9975 L 1069.4875,1752.9975 C 1066.82083333333,1753.9975 1064.15416666667,1753.9975 1061.4875,1752.9975 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1015.8374999999999" y="1744.9875000000013" fill="#A0A0A0">TickEvent</text>
<path d="M 1065.4875,1645.1175 L 1065.4875,1682.0775" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1065.4875,1691.0775 L 1069.4875,1681.0775 C 1066.82083333333,1682.0775 1064.15416666667,1682.0775 1061.4875,1681.0775 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="982.1575" y="1673.0675000000013" fill="#A0A0A0">StartTimerEvent</text>
<rect x="1039.3475" y="1691.0775000000012" rx="3" ry="3" width="52.279999999999973" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1049.3475" y="1709.0275000000013" fill="#3D3D3D">Active</text>
<rect x="1035.1725000000001" y="1762.9975000000013" rx="3" ry="3" width="60.629999999999882" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1045.1725000000001" y="1780.9475000000014" fill="#3D3D3D">Inactive</text>
<rect x="1040.4875" y="1619.1575000000012" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1056.4875" y="1637.1075000000012" fill="#3D3D3D">Init</text>
<rect x="619.17666666666673" y="1615.1175000000012" rx="5" ry="5" width="247.64666666666665" height="157.88000000000011" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="638.17666666666673" y="1633.0675000000013" fill="#000000">Coyote.Examples.Raft.ElectionTimer(17)</text>
<rect x="624.17666666666673" y="1643.0775000000012" width="237.64666666666665" height="124.9200000000001" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 771.595,1681.0775 L 771.595,1718.0375" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 771.595,1727.0375 L 775.595,1717.0375 C 772.928333333334,1718.0375 770.261666666667,1718.0375 767.595,1717.0375 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="688.2650000000001" y="1709.0275000000013" fill="#A0A0A0">StartTimerEvent</text>
<rect x="745.45500000000015" y="1727.0375000000013" rx="3" ry="3" width="52.279999999999973" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="755.45500000000015" y="1744.9875000000013" fill="#3D3D3D">Active</text>
<rect x="746.59500000000014" y="1655.1175000000012" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="762.59500000000014" y="1673.0675000000013" fill="#3D3D3D">Init</text>
<rect x="634.39875000000029" y="1317.670000000001" rx="5" ry="5" width="241.2025" height="229.80000000000018" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="654.39875000000029" y="1335.620000000001" fill="#000000">Coyote.Examples.Raft.ElectionTimer(9)</text>
<rect x="639.39875000000029" y="1345.630000000001" width="231.2025" height="196.84000000000017" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 747.54875,1436.13788534561 C 744.862460090812,1436.0992951152 741.969126757479,1436.08 738.86875,1436.08 C 715.655416666667,1436.08 704.04875,1438.24333333333 704.04875,1442.57 C 704.04875,1446.87675104726 715.548811756429,1449.04003854486 738.548935269287,1449.0598624928" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 747.54875,1449.00211465439 L 737.523290148807,1445.06636126119 C 738.540380033968,1447.72655660676 738.557490504606,1450.39316837883 737.57462156072,1453.06619657738 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="654.39875000000029" y="1447.5400000000011" fill="#A0A0A0">TickEvent</text>
<path d="M 788.975262791991,1455.55 L 794.86375,1460.55 C 808.651992198152,1472.25779668112 808.972775866323,1483.96559336225 795.826101004513,1495.67339004337" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 788.975262791991,1501.51 L 799.181354119963,1498.06969480931 C 796.690783961051,1496.68832903782 794.961418047975,1494.65845104892 793.993256380734,1491.98006084262 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="805.9512500000003" y="1483.5000000000011" fill="#A0A0A0">TickEvent</text>
<path d="M 758.167615406007,1501.51 L 752.18875,1496.51 C 738.16779154858,1484.784565909 737.862224438773,1473.059131818 751.272048670578,1461.333697727" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 758.167615406007,1455.55 L 747.935342265755,1458.91163448092 C 750.415204562875,1460.31213228471 752.128892778281,1462.35526316928 753.076406911973,1465.04102713463 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="657.60875000000033" y="1483.5000000000011" fill="#A0A0A0">StartTimerEvent</text>
<path d="M 773.68875,1383.63 L 773.68875,1420.59" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 773.68875,1429.59 L 777.68875,1419.59 C 775.022083333334,1420.59 772.355416666667,1420.59 769.68875,1419.59 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="690.35875000000033" y="1411.5800000000011" fill="#A0A0A0">StartTimerEvent</text>
<rect x="747.54875000000027" y="1429.5900000000011" rx="3" ry="3" width="52.280000000000086" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="757.54875000000027" y="1447.5400000000011" fill="#3D3D3D">Active</text>
<rect x="743.37375000000031" y="1501.5100000000011" rx="3" ry="3" width="60.629999999999995" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="753.37375000000031" y="1519.4600000000012" fill="#3D3D3D">Inactive</text>
<rect x="748.68875000000025" y="1357.670000000001" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="764.68875000000025" y="1375.620000000001" fill="#3D3D3D">Init</text>
<rect x="905.88166666666655" y="1317.670000000001" rx="5" ry="5" width="248.23666666666679" height="229.80000000000018" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="925.88166666666655" y="1335.620000000001" fill="#000000">Coyote.Examples.Raft.PeriodicTimer(10)</text>
<rect x="910.88166666666655" y="1345.630000000001" width="238.23666666666679" height="196.84000000000017" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 1048.3475,1436.13788534561 C 1045.66121009081,1436.0992951152 1042.76787675748,1436.08 1039.6675,1436.08 C 1016.45416666667,1436.08 1004.8475,1438.24333333333 1004.8475,1442.57 C 1004.8475,1446.87675104726 1016.34756175643,1449.04003854486 1039.34768526929,1449.0598624928" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1048.3475,1449.00211465439 L 1038.32204014881,1445.06636126119 C 1039.33913003397,1447.72655660676 1039.35624050461,1450.39316837883 1038.37337156072,1453.06619657738 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="955.19749999999988" y="1447.5400000000011" fill="#A0A0A0">TickEvent</text>
<path d="M 1074.4875,1455.55 L 1074.4875,1492.51" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1074.4875,1501.51 L 1078.4875,1491.51 C 1075.82083333333,1492.51 1073.15416666667,1492.51 1070.4875,1491.51 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1024.8374999999999" y="1483.5000000000011" fill="#A0A0A0">TickEvent</text>
<path d="M 1074.4875,1383.63 L 1074.4875,1420.59" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1074.4875,1429.59 L 1078.4875,1419.59 C 1075.82083333333,1420.59 1073.15416666667,1420.59 1070.4875,1419.59 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="991.1575" y="1411.5800000000011" fill="#A0A0A0">StartTimerEvent</text>
<rect x="1048.3475" y="1429.5900000000011" rx="3" ry="3" width="52.279999999999973" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1058.3475" y="1447.5400000000011" fill="#3D3D3D">Active</text>
<rect x="1044.1725000000001" y="1501.5100000000011" rx="3" ry="3" width="60.629999999999882" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1054.1725000000001" y="1519.4600000000012" fill="#3D3D3D">Inactive</text>
<rect x="1049.4875" y="1357.670000000001" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1065.4875" y="1375.620000000001" fill="#3D3D3D">Init</text>
<rect x="673.88166666666666" y="722.77500000000055" rx="5" ry="5" width="248.23666666666668" height="229.80000000000018" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="693.88166666666666" y="740.72500000000059" fill="#000000">Coyote.Examples.Raft.PeriodicTimer(12)</text>
<rect x="678.88166666666666" y="750.73500000000058" width="238.23666666666668" height="196.84000000000017" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 790.54875,841.242885345608 C 787.862460090812,841.204295115203 784.969126757478,841.185000000001 781.86875,841.185000000001 C 758.655416666667,841.185000000001 747.04875,843.348333333334 747.04875,847.675000000001 C 747.04875,851.98175104726 758.548811756429,854.145038544858 781.548935269287,854.164862492795" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 790.54875,854.107114654393 L 780.523290148807,850.171361261189 C 781.540380033968,852.831556606763 781.557490504606,855.498168378826 780.574621560719,858.171196577378 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="697.39874999999984" y="852.64500000000066" fill="#A0A0A0">TickEvent</text>
<path d="M 831.975262791991,860.655000000001 L 837.86375,865.655000000001 C 851.651992198152,877.362796681123 851.972775866323,889.070593362246 838.826101004513,900.778390043369" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 831.975262791991,906.615000000001 L 842.181354119963,903.174694809308 C 839.690783961051,901.793329037817 837.961418047974,899.763451048921 836.993256380734,897.085060842622 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="848.95124999999985" y="888.6050000000007" fill="#A0A0A0">TickEvent</text>
<path d="M 801.167615406007,906.615000000001 L 795.18875,901.615000000001 C 781.16779154858,889.889565908999 780.862224438773,878.164131817997 794.272048670578,866.438697726996" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 801.167615406007,860.655000000001 L 790.935342265755,864.016634480916 C 793.415204562875,865.41713228471 795.128892778281,867.460263169282 796.076406911973,870.14602713463 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="700.6087500000001" y="888.6050000000007" fill="#A0A0A0">StartTimerEvent</text>
<path d="M 816.68875,788.735000000001 L 816.68875,825.695000000001" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 816.68875,834.695000000001 L 820.68875,824.695000000001 C 818.022083333333,825.695000000001 815.355416666667,825.695000000001 812.68875,824.695000000001 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="733.35875" y="816.68500000000063" fill="#A0A0A0">StartTimerEvent</text>
<rect x="790.54875" y="834.69500000000062" rx="3" ry="3" width="52.280000000000086" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="800.54875" y="852.64500000000066" fill="#3D3D3D">Active</text>
<rect x="786.37375000000009" y="906.61500000000069" rx="3" ry="3" width="60.629999999999995" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="796.37375000000009" y="924.56500000000074" fill="#3D3D3D">Inactive</text>
<rect x="791.68874999999991" y="762.77500000000055" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="807.68874999999991" y="780.72500000000059" fill="#3D3D3D">Init</text>
<rect x="309.88166666666666" y="1092.1425000000011" rx="5" ry="5" width="248.23666666666668" height="85.960000000000036" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="329.88166666666666" y="1110.0925000000011" fill="#000000">Coyote.Examples.Raft.PeriodicTimer(14)</text>
<rect x="314.88166666666666" y="1120.1025000000011" width="238.23666666666668" height="53.000000000000036" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<rect x="409" y="1132.1425000000011" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="425" y="1150.0925000000011" fill="#3D3D3D">Init</text>
<rect x="1174.8816666666669" y="1651.0775000000012" rx="5" ry="5" width="248.23666666666668" height="85.960000000000036" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="1194.8816666666669" y="1669.0275000000013" fill="#000000">Coyote.Examples.Raft.PeriodicTimer(16)</text>
<rect x="1179.8816666666669" y="1679.0375000000013" width="238.23666666666668" height="53.000000000000036" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<rect x="1274.0000000000002" y="1691.0775000000012" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1290.0000000000002" y="1709.0275000000013" fill="#3D3D3D">Init</text>
<rect x="340.88166666666689" y="1651.0775000000012" rx="5" ry="5" width="248.23666666666668" height="85.960000000000036" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="360.88166666666689" y="1669.0275000000013" fill="#000000">Coyote.Examples.Raft.PeriodicTimer(18)</text>
<rect x="345.88166666666689" y="1679.0375000000013" width="238.23666666666668" height="53.000000000000036" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<rect x="440.00000000000023" y="1691.0775000000012" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="456.00000000000023" y="1709.0275000000013" fill="#3D3D3D">Init</text>
<rect x="1641.6675" rx="5" ry="5" width="231.05666666666662" height="85.960000000000036" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="1660.6675" y="17.950000000000003" fill="#000000">Coyote.Examples.Raft.SafetyMonitor</text>
<rect x="1646.6675" y="27.96" width="221.05666666666662" height="53.000000000000036" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 1782.03916666667,46.5588319401044 C 1779.1980001488,46.5129439800348 1776.11466681547,46.49 1772.78916666667,46.49 C 1749.95583333333,46.49 1738.53916666667,48.6533333333333 1738.53916666667,52.98 C 1738.53916666667,57.3066666666667 1749.95583333333,59.47 1772.78916666667,59.47 C 1772.8727405756,59.47 1772.95616153712,59.4699855090705 1773.03942955124,59.4699565272115" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1782.03916666667,59.4011680598957 L 1772.0088861085,55.4777165278353 C 1773.02923866719,58.1366621397411 1773.04962043529,60.8032509146819 1772.07003141278,63.4774828526578 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1682.3525" y="57.95" fill="#A0A0A0">LocalEvent</text>
<rect x="1782.0391666666667" y="40" rx="3" ry="3" width="50" height="25.960000000000008" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1798.0391666666667" y="57.95" fill="#3D3D3D">Init</text>
<rect x="673.50166666666655" y="389.36750000000029" rx="5" ry="5" width="248.99666666666667" height="301.72000000000025" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="716.50166666666655" y="407.31750000000028" fill="#000000">Coyote.Examples.Raft.Server(3)</text>
<rect x="678.50166666666655" y="417.32750000000027" width="238.99666666666667" height="268.76000000000028" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 828.681666666667,579.703187452922 C 827.606543927942,579.699395817641 826.507932816831,579.6975 825.385833333333,579.6975 C 798.583055555555,579.6975 785.181666666667,581.860833333334 785.181666666667,586.1875 C 785.181666666667,590.195500413009 796.681682802126,592.347098594429 819.681715073046,592.642294544261" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 828.681666666667,592.671812547079 L 818.694839563896,588.639036280117 C 819.686088110501,591.308968382244 819.677342035592,593.975620706279 818.66860133917,596.638993252224 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="707.28833333333318" y="591.15750000000048" fill="#A0A0A0">BecomeLeader</text>
<path d="M 865.59,599.1675 L 865.59,636.127500000001" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 865.59,645.127500000001 L 869.59,635.127500000001 C 866.923333333333,636.127500000001 864.256666666667,636.127500000001 861.59,635.127500000001 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="791.08666666666659" y="627.11750000000052" fill="#A0A0A0">VoteResponse</text>
<path d="M 865.59,527.2475 L 865.59,564.2075" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 865.59,573.2075 L 869.59,563.2075 C 866.923333333333,564.2075 864.256666666667,564.2075 861.59,563.2075 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="792.9466666666666" y="555.19750000000045" fill="#A0A0A0">TimeoutEvent</text>
<path d="M 833.161666666667,507.796134747268 C 831.389059936764,507.783711582423 829.543782158986,507.7775 827.625833333333,507.7775 C 802.316388888889,507.7775 789.661666666667,509.940833333334 789.661666666667,514.2675 C 789.661666666667,518.392045098416 801.16166703693,520.550657346039 824.161667777457,520.743336742867" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 833.161666666667,520.738865252733 L 823.159680571929,516.743834068789 C 824.161005334474,519.410003574096 824.16233022044,522.076669911639 823.163655229827,524.74383308142 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="693.50166666666655" y="519.23750000000041" fill="#A0A0A0">BecomeCandidate</text>
<path d="M 865.59,455.3275 L 865.59,492.2875" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 865.59,501.2875 L 869.59,491.2875 C 866.923333333333,492.2875 864.256666666667,492.2875 861.59,491.2875 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="784.42" y="483.27750000000032" fill="#A0A0A0">ConfigureEvent</text>
<path d="M 840.59,435.926331940105 C 837.748833482134,435.880443980035 834.665500148801,435.8575 831.34,435.8575 C 808.506666666667,435.8575 797.09,438.020833333334 797.09,442.3475 C 797.09,446.674166666667 808.506666666667,448.8375 831.34,448.8375 C 831.423573908932,448.8375 831.506994870457,448.837485509071 831.590262884574,448.837456527212" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 840.59,448.768668059896 L 830.559719441831,444.845216527836 C 831.580072000528,447.504162139741 831.600453768621,450.170750914682 830.620864746112,452.844982852658 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="709.88999999999987" y="447.31750000000028" fill="#A0A0A0">BecomeFollower</text>
<rect x="828.68166666666662" y="573.20750000000044" rx="3" ry="3" width="73.8166666666666" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="838.68166666666662" y="591.15750000000048" fill="#3D3D3D">Candidate</text>
<rect x="833.16166666666663" y="501.28750000000036" rx="3" ry="3" width="64.85666666666657" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="843.16166666666663" y="519.23750000000041" fill="#3D3D3D">Follower</text>
<rect x="840.58999999999992" y="429.36750000000029" rx="3" ry="3" width="50" height="25.95999999999998" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="856.58999999999992" y="447.31750000000028" fill="#3D3D3D">Init</text>
<rect x="837.81499999999994" y="645.12750000000051" rx="3" ry="3" width="55.550000000000068" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="847.81499999999994" y="663.07750000000055" fill="#3D3D3D">Leader</text>
<rect x="375.93583333333368" y="1353.630000000001" rx="5" ry="5" width="228.12833333333333" height="157.88000000000011" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="407.93583333333368" y="1371.5800000000011" fill="#000000">Coyote.Examples.Raft.Server(4)</text>
<rect x="380.93583333333368" y="1381.5900000000011" width="218.12833333333333" height="124.9200000000001" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 551.635833333334,1419.59 L 551.635833333334,1456.55" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 551.635833333334,1465.55 L 555.635833333334,1455.55 C 552.969166666667,1456.55 550.3025,1456.55 547.635833333334,1455.55 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="470.46583333333365" y="1447.5400000000011" fill="#A0A0A0">ConfigureEvent</text>
<path d="M 526.635833333334,1400.18883194011 C 523.794666815468,1400.14294398004 520.711333482134,1400.12 517.385833333334,1400.12 C 494.5525,1400.12 483.135833333334,1402.28333333333 483.135833333334,1406.61 C 483.135833333334,1410.93666666667 494.5525,1413.1 517.385833333334,1413.1 C 517.469407242266,1413.1 517.55282820379,1413.09998550907 517.636096217908,1413.09995652721" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 526.635833333334,1413.0311680599 L 516.605552775165,1409.10771652784 C 517.625905333862,1411.76666213974 517.646287101955,1414.43325091468 516.666698079446,1417.10748285266 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="395.93583333333368" y="1411.5800000000011" fill="#A0A0A0">BecomeFollower</text>
<rect x="519.20750000000044" y="1465.5500000000011" rx="3" ry="3" width="64.85666666666657" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="529.20750000000044" y="1483.5000000000011" fill="#3D3D3D">Follower</text>
<rect x="526.63583333333372" y="1393.630000000001" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="542.63583333333372" y="1411.5800000000011" fill="#3D3D3D">Init</text>
<rect x="655.50166666666678" y="984.26250000000073" rx="5" ry="5" width="248.99666666666667" height="301.72000000000025" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="698.50166666666678" y="1002.2125000000008" fill="#000000">Coyote.Examples.Raft.Server(5)</text>
<rect x="660.50166666666678" y="1012.2225000000008" width="238.99666666666667" height="268.76000000000028" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 810.681666666667,1174.59818745292 C 809.606543927942,1174.59439581764 808.507932816831,1174.5925 807.385833333333,1174.5925 C 780.583055555556,1174.5925 767.181666666667,1176.75583333333 767.181666666667,1181.0825 C 767.181666666667,1185.09050041301 778.681682802127,1187.24209859443 801.681715073046,1187.53729454426" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 810.681666666667,1187.56681254708 L 800.694839563896,1183.53403628012 C 801.686088110501,1186.20396838224 801.677342035592,1188.87062070628 800.66860133917,1191.53399325222 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="689.28833333333341" y="1186.0525000000009" fill="#A0A0A0">BecomeLeader</text>
<path d="M 847.59,1194.0625 L 847.59,1231.0225" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 847.59,1240.0225 L 851.59,1230.0225 C 848.923333333334,1231.0225 846.256666666667,1231.0225 843.59,1230.0225 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="773.08666666666682" y="1222.012500000001" fill="#A0A0A0">VoteResponse</text>
<path d="M 847.59,1122.1425 L 847.59,1159.1025" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 847.59,1168.1025 L 851.59,1158.1025 C 848.923333333334,1159.1025 846.256666666667,1159.1025 843.59,1158.1025 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="774.94666666666683" y="1150.0925000000009" fill="#A0A0A0">TimeoutEvent</text>
<path d="M 815.161666666667,1102.69113474727 C 813.389059936764,1102.67871158242 811.543782158986,1102.6725 809.625833333334,1102.6725 C 784.316388888889,1102.6725 771.661666666667,1104.83583333333 771.661666666667,1109.1625 C 771.661666666667,1113.28704509842 783.16166703693,1115.44565734604 806.161667777457,1115.63833674287" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 815.161666666667,1115.63386525273 L 805.159680571929,1111.63883406879 C 806.161005334474,1114.3050035741 806.16233022044,1116.97166991164 805.163655229827,1119.63883308142 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="675.50166666666678" y="1114.1325000000009" fill="#A0A0A0">BecomeCandidate</text>
<path d="M 847.59,1050.2225 L 847.59,1087.1825" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 847.59,1096.1825 L 851.59,1086.1825 C 848.923333333334,1087.1825 846.256666666667,1087.1825 843.59,1086.1825 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="766.42000000000019" y="1078.1725000000008" fill="#A0A0A0">ConfigureEvent</text>
<path d="M 822.59,1030.82133194011 C 819.748833482134,1030.77544398004 816.665500148801,1030.7525 813.34,1030.7525 C 790.506666666667,1030.7525 779.09,1032.91583333333 779.09,1037.2425 C 779.09,1041.56916666667 790.506666666667,1043.7325 813.34,1043.7325 C 813.423573908932,1043.7325 813.506994870457,1043.73248550907 813.590262884575,1043.73245652721" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 822.59,1043.6636680599 L 812.559719441832,1039.74021652784 C 813.580072000528,1042.39916213974 813.600453768621,1045.06575091468 812.620864746112,1047.73998285266 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="691.8900000000001" y="1042.2125000000008" fill="#A0A0A0">BecomeFollower</text>
<rect x="810.68166666666684" y="1168.1025000000009" rx="3" ry="3" width="73.8166666666666" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="820.68166666666684" y="1186.0525000000009" fill="#3D3D3D">Candidate</text>
<rect x="815.16166666666686" y="1096.1825000000008" rx="3" ry="3" width="64.85666666666657" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="825.16166666666686" y="1114.1325000000009" fill="#3D3D3D">Follower</text>
<rect x="822.59000000000015" y="1024.2625000000007" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="838.59000000000015" y="1042.2125000000008" fill="#3D3D3D">Init</text>
<rect x="819.81500000000017" y="1240.022500000001" rx="3" ry="3" width="55.550000000000068" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="829.81500000000017" y="1257.972500000001" fill="#3D3D3D">Leader</text>
<rect x="319.93583333333368" y="758.73500000000081" rx="5" ry="5" width="228.12833333333333" height="157.88000000000011" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="351.93583333333368" y="776.68500000000085" fill="#000000">Coyote.Examples.Raft.Server(6)</text>
<rect x="324.93583333333368" y="786.69500000000085" width="218.12833333333333" height="124.9200000000001" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 495.635833333334,824.695000000001 L 495.635833333334,861.655000000001" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 495.635833333334,870.655000000001 L 499.635833333334,860.655000000001 C 496.969166666667,861.655000000001 494.3025,861.655000000001 491.635833333334,860.655000000001 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="414.46583333333365" y="852.64500000000089" fill="#A0A0A0">ConfigureEvent</text>
<path d="M 470.635833333334,805.293831940105 C 467.794666815468,805.247943980036 464.711333482134,805.225000000001 461.385833333334,805.225000000001 C 438.5525,805.225000000001 427.135833333334,807.388333333334 427.135833333334,811.715000000001 C 427.135833333334,816.041666666667 438.5525,818.205000000001 461.385833333334,818.205000000001 C 461.469407242266,818.205000000001 461.55282820379,818.204985509071 461.636096217908,818.204956527212" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 470.635833333334,818.136168059896 L 460.605552775165,814.212716527836 C 461.625905333862,816.871662139742 461.646287101955,819.538250914683 460.666698079446,822.212482852659 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="339.93583333333368" y="816.68500000000085" fill="#A0A0A0">BecomeFollower</text>
<rect x="463.20750000000032" y="870.65500000000088" rx="3" ry="3" width="64.856666666666683" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="473.20750000000032" y="888.60500000000093" fill="#3D3D3D">Follower</text>
<rect x="470.63583333333366" y="798.73500000000081" rx="3" ry="3" width="50.000000000000057" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="486.63583333333366" y="816.68500000000085" fill="#3D3D3D">Init</text>
<rect x="1184.9358333333332" y="1353.630000000001" rx="5" ry="5" width="228.12833333333333" height="157.88000000000011" fill="#EEEEEE" stroke="#A5A6A9" stroke-width="1" />
<text x="1216.9358333333332" y="1371.5800000000011" fill="#000000">Coyote.Examples.Raft.Server(7)</text>
<rect x="1189.9358333333332" y="1381.5900000000011" width="218.12833333333333" height="124.9200000000001" fill="#1E1E1E" stroke="#A5A6A9" stroke-width="1" />
<path d="M 1360.63583333333,1419.59 L 1360.63583333333,1456.55" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1360.63583333333,1465.55 L 1364.63583333333,1455.55 C 1361.96916666667,1456.55 1359.3025,1456.55 1356.63583333333,1455.55 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1279.4658333333332" y="1447.5400000000011" fill="#A0A0A0">ConfigureEvent</text>
<path d="M 1335.63583333333,1400.18883194011 C 1332.79466681547,1400.14294398004 1329.71133348213,1400.12 1326.38583333333,1400.12 C 1303.5525,1400.12 1292.13583333333,1402.28333333333 1292.13583333333,1406.61 C 1292.13583333333,1410.93666666667 1303.5525,1413.1 1326.38583333333,1413.1 C 1326.46940724227,1413.1 1326.55282820379,1413.09998550907 1326.63609621791,1413.09995652721" fill="none" stroke="#A0A0A0" stroke-width="1" />
<path d="M 1335.63583333333,1413.0311680599 L 1325.60555277516,1409.10771652784 C 1326.62590533386,1411.76666213974 1326.64628710195,1414.43325091468 1325.66669807945,1417.10748285266 z" fill="#A0A0A0" stroke="#A0A0A0" stroke-width="1" stroke-linejoin="round" />
<text x="1204.9358333333332" y="1411.5800000000011" fill="#A0A0A0">BecomeFollower</text>
<rect x="1328.2075" y="1465.5500000000011" rx="3" ry="3" width="64.85666666666657" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1338.2075" y="1483.5000000000011" fill="#3D3D3D">Follower</text>
<rect x="1335.6358333333333" y="1393.630000000001" rx="3" ry="3" width="50" height="25.960000000000036" fill="#FFFFFF" stroke="#A5A6A9" stroke-width="1" />
<text x="1351.6358333333333" y="1411.5800000000011" fill="#3D3D3D">Init</text>
</g>
</svg>
Display the source blob
Display the rendered blob
Raw
raft_coverage.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment