From 05b9d3d41bd5e0f28326168003b886b9c558e75e Mon Sep 17 00:00:00 2001 From: Jack Wrenn Date: Mon, 13 Sep 2021 14:24:20 -0400 Subject: [PATCH] consequently, thoroughness is unknown --- src/web/js/check-ui.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/web/js/check-ui.js b/src/web/js/check-ui.js index db8d75fe..fa00e302 100644 --- a/src/web/js/check-ui.js +++ b/src/web/js/check-ui.js @@ -135,10 +135,10 @@ container_elt.appendChild(message_elt); if (!hasValidity(examplar_results)) { - thoroughness_elt.textContent = "THOROUGHNESS UNKNOWN"; + thoroughness_elt.textContent = "CONSEQUENTLY, THOROUGHNESS IS UNKNOWN"; validity_elt.textContent = "VALIDITY UNKNOWN"; validity_elt.classList.add("maybe-valid"); - message_elt.textContent = "Tests in this file are not checked against other implementations."; + message_elt.textContent = "Tests in this file are not checked against other implementations. Consequently, we cannot provide you with validity and thoroughness feedback for these tests."; return container_elt; } else if (examplar_results.error) { thoroughness_elt.textContent = "ERROR ENCOUNTERED"; @@ -228,7 +228,7 @@ } else { // this is unreachable right now :/ - thoroughness_elt.textContent = "THOROUGHNESS UNKNOWN"; + thoroughness_elt.textContent = "CONSEQUENTLY, THOROUGHNESS IS UNKNOWN"; validity_elt.textContent = "INCORRECT"; validity_elt.classList.add("invalid"); container_elt.classList.add("invalid");