Display verification lib speedups on benchmark

This commit is contained in:
Tamas Kocsis 2020-11-03 02:49:01 +01:00
parent e757f2a2d4
commit 8f6e27904c
2 changed files with 40 additions and 7 deletions

View file

@ -39,7 +39,7 @@ function setState(elem, text) {
}
}
formatted = formatted.replace(/(\! Error:.*)/, "<div class='test error'>$1</div>");
formatted = formatted.replace(/(\* Result:[^]*)/, "<div class='test summary'>$1</div>");
formatted = formatted.replace(/(\== Result ==[^]*)/, "<div class='test summary'>$1</div>");
var is_bottom = document.body.scrollTop + document.body.clientHeight >= document.body.scrollHeight - 5;
elem.innerHTML = formatted.trim();
if (is_bottom)