1 |
|
2 | if (typeof _$jscoverage === 'undefined') _$jscoverage = {};
|
3 | if (! _$jscoverage['subdir/with.js']) {
|
4 | _$jscoverage['subdir/with.js'] = [];
|
5 | _$jscoverage['subdir/with.js'][1] = 0;
|
6 | _$jscoverage['subdir/with.js'][2] = 0;
|
7 | _$jscoverage['subdir/with.js'][5] = 0;
|
8 | _$jscoverage['subdir/with.js'][6] = 0;
|
9 | _$jscoverage['subdir/with.js'][9] = 0;
|
10 | }
|
11 | _$jscoverage['subdir/with.js'][1]++;
|
12 | with (b) {
|
13 | _$jscoverage['subdir/with.js'][2]++;
|
14 | g();
|
15 | }
|
16 | _$jscoverage['subdir/with.js'][5]++;
|
17 | with (b) {
|
18 | _$jscoverage['subdir/with.js'][6]++;
|
19 | g();
|
20 | }
|
21 | _$jscoverage['subdir/with.js'][9]++;
|
22 | do {
|
23 | _$jscoverage['subdir/with.js'][9]++;
|
24 | console.log('hej');
|
25 | } while (true);
|
26 | _$jscoverage['subdir/with.js'].source = ["with (b) {"," g()","}","","with (b)"," g()","","","do console.log(\"hej\"); while(true)"]; |
\ | No newline at end of file |