eCheckbox.addEventListener("change", () => {
			randomMode = randomModeCheckbox.checked;
			runTests();
		});
		const randomModeCheckboxLabel = document.createElement("label");
		randomModeCheckboxLabel.append(randomModeCheckbox);
		randomModeCheckboxLabel.append("Randomize tests");
		document.body.append(randomModeCheckboxLabel);
		randomModeCheckboxLabel.style.display = "block";

		const sortFailuresToTopCheckbox = document.createElement("input");
		sortFailuresToTopCheckbox.type = "checkbox";
		sortFailu