document.body.onload = function() { var test_list = []; function htmlEntityEncode(str) { return str.replace(/&/g, '&') .replace(/"/g, '"') .replace(/'/g, ''') .replace(//g, '>') } function linkTests(str) { var ret = str; for(var i=0; i < test_list.length; i++) { ret = ret.replace(new RegExp('([^#">])\\b' + test_list[i] + '\\b', "g"), '$1' + test_list[i] + ''); } return ret; } window.onhashchange = function() { test = window.location.hash.substr(1) if(test_list.indexOf(test) >= 0) { document.getElementById(test).classList.add('expanded'); } } function formatDiff(diff) { var difflines = diff.split('\n') if(difflines[0] == '') difflines.shift() strip = (/[^ \t]/.exec(difflines[0])).index for(var i=0; i < difflines.length; i++) difflines[i] = difflines[i].substr(strip) src = difflines.join('\n') return '
' + htmlEntityEncode(src) + '';
}
// insert script tags to load highlight.js, so that starts immediately.
{
var script = document.createElement('script');
script.setAttribute('src', 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/highlight.min.js');
script.onload = function() {
hljs.initHighlighting();
};
document.head.appendChild(script);
css = document.createElement('link');
css.setAttribute('rel', 'stylesheet');
css.setAttribute('type', 'text/css');
css.setAttribute('media', 'all');
css.setAttribute('href', 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/styles/default.min.css');
document.head.appendChild(css);
css = document.createElement('link');
css.setAttribute('rel', 'stylesheet');
css.setAttribute('type', 'text/css');
css.setAttribute('media', 'all');
css.setAttribute('href', 'testresults.css');
document.head.appendChild(css);
}
// First grab the source
src = document.getElementById("logoutput").innerHTML;
html = '';
lines = src.split('\n');
var test_name = '';
var failed_tests = [];
var indiff = false;
var instack = false;
var diff_text = '';
var indent = 0;
var commit = "v1.x";
var basepath = "util/test/";
var last_test = '';
for(var i=0; i < lines.length; i++) {
var line = lines[i].replace(/\t/g, ' ');
var m = line.match(/^ *([.<>!=*#$+-\/]{2}) (.*)/);
if(line.trim() == '')
continue;
if(m) {
if(m[1] == '##') {
title = m[2].replace(/ ##$/, '');
var hash = m[2].match(/Version ([0-9.]*) \(([a-f0-9]*)\)/);
if(hash) {
document.title = title;
commit = hash[2];
}
title = title.replace(commit, '' + commit.substr(0, 8) + '');
html += '