/* automatically generated by jscov - do not edit */
if (typeof _$jscoverage === 'undefined') _$jscoverage = {};
if (! _$jscoverage['valid.js']) {
  _$jscoverage['valid.js'] = [];
  _$jscoverage['valid.js'][1] = 0;
}
_$jscoverage['valid.js'][1]++;
console.log(3);
_$jscoverage['valid.js'].source = ["console.log(1+2);"];