addressing false positive jsverify rngState 077c06da821594b3fe

This commit is contained in:
El RIDO 2020-03-06 23:00:48 +01:00
parent 7cb830e22f
commit 71c76adac4
No known key found for this signature in database
GPG Key ID: 0F5C940A6BD81F92

View File

@ -81,7 +81,7 @@ describe('Helper', function () {
'ignores non-URL content', 'ignores non-URL content',
'string', 'string',
function (content) { function (content) {
content = content.replace("\r", "\n").replace("\u0000", ''); content = content.replace(/\r/g, '\n').replace(/\u0000/g, '');
let clean = jsdom(); let clean = jsdom();
$('body').html('<div id="foo"></div>'); $('body').html('<div id="foo"></div>');
let e = $('#foo'); let e = $('#foo');
@ -103,8 +103,8 @@ describe('Helper', function () {
function (prefix, schema, address, query, fragment, postfix) { function (prefix, schema, address, query, fragment, postfix) {
query = query.join(''); query = query.join('');
fragment = fragment.join(''); fragment = fragment.join('');
prefix = prefix.replace("\r", "\n").replace("\u0000", ''); prefix = prefix.replace(/\r/g, '\n').replace(/\u0000/g, '');
postfix = ' ' + postfix.replace("\r", "\n").replace("\u0000", ''); postfix = ' ' + postfix.replace(/\r/g, '\n').replace(/\u0000/g, '');
let url = schema + '://' + address.join('') + '/?' + query + '#' + fragment, let url = schema + '://' + address.join('') + '/?' + query + '#' + fragment,
clean = jsdom(); clean = jsdom();
$('body').html('<div id="foo"></div>'); $('body').html('<div id="foo"></div>');
@ -133,8 +133,8 @@ describe('Helper', function () {
jsc.array(common.jscQueryString()), jsc.array(common.jscQueryString()),
'string', 'string',
function (prefix, query, postfix) { function (prefix, query, postfix) {
prefix = prefix.replace("\r", "\n").replace("\u0000", ''); prefix = prefix.replace(/\r/g, '\n').replace(/\u0000/g, '');
postfix = ' ' + postfix.replace("\r", "\n").replace("\u0000", ''); postfix = ' ' + postfix.replace(/\r/g, '\n').replace(/\u0000/g, '');
let url = 'magnet:?' + query.join('').replace(/^&+|&+$/gm,''), let url = 'magnet:?' + query.join('').replace(/^&+|&+$/gm,''),
clean = jsdom(); clean = jsdom();
$('body').html('<div id="foo"></div>'); $('body').html('<div id="foo"></div>');