/* automatically generated by JSCoverage - do not edit */
if (! top._$jscoverage) {
  top._$jscoverage = {};
}
var _$jscoverage = top._$jscoverage;
if (! _$jscoverage['javascript-do.js']) {
  _$jscoverage['javascript-do.js'] = [];
  _$jscoverage['javascript-do.js'][1] = 0;
  _$jscoverage['javascript-do.js'][3] = 0;
  _$jscoverage['javascript-do.js'][4] = 0;
  _$jscoverage['javascript-do.js'][8] = 0;
  _$jscoverage['javascript-do.js'][9] = 0;
}
_$jscoverage['javascript-do.js'][1]++;
var x;
_$jscoverage['javascript-do.js'][3]++;
do {
  _$jscoverage['javascript-do.js'][4]++;
  x = false;
}
while (x);
_$jscoverage['javascript-do.js'][8]++;
do {
  _$jscoverage['javascript-do.js'][9]++;
  x = false;
}
while (x);
_$jscoverage['javascript-do.js'].source = ["<span class=\"k\">var</span> x<span class=\"k\">;</span>","","<span class=\"k\">do</span> <span class=\"k\">{</span>","  x <span class=\"k\">=</span> <span class=\"k\">false</span><span class=\"k\">;</span>","<span class=\"k\">}</span>","<span class=\"k\">while</span> <span class=\"k\">(</span>x<span class=\"k\">);</span>","","<span class=\"k\">do</span>","  x <span class=\"k\">=</span> <span class=\"k\">false</span><span class=\"k\">;</span>","<span class=\"k\">while</span> <span class=\"k\">(</span>x<span class=\"k\">);</span>"];
