70 |
static uint16_t num_lines = 0; |
static uint16_t num_lines = 0; |
71 |
|
|
72 |
void jscoverage_set_js_version(const char * version) { |
void jscoverage_set_js_version(const char * version) { |
73 |
js_version = atoi(version); |
js_version = JS_StringToVersion(version); |
74 |
|
if (js_version != JSVERSION_UNKNOWN) { |
75 |
|
return; |
76 |
|
} |
77 |
|
|
78 |
|
char * end; |
79 |
|
js_version = (JSVersion) strtol(version, &end, 10); |
80 |
|
if (end - version != strlen(version)) { |
81 |
|
fatal("invalid version: %s", version); |
82 |
|
} |
83 |
} |
} |
84 |
|
|
85 |
void jscoverage_init(void) { |
void jscoverage_init(void) { |