/* automatically generated by JSCoverage - do not edit */
if (! top._$jscoverage) {
  top._$jscoverage = {};
}
var _$jscoverage = top._$jscoverage;
if (! _$jscoverage['javascript-crlf.js']) {
  _$jscoverage['javascript-crlf.js'] = [];
  _$jscoverage['javascript-crlf.js'][4] = 0;
}
_$jscoverage['javascript-crlf.js'][4]++;
var x = 1;
_$jscoverage['javascript-crlf.js'].source = ["<span class=\"c\">/*</span>","<span class=\"c\">This file has CRLF line endings.</span>","<span class=\"c\">*/</span>","<span class=\"k\">var</span> x <span class=\"k\">=</span> <span class=\"s\">1</span><span class=\"k\">;</span>"];
