}
    }

    /**
     * Copy text to clipboard
     */
    function copyToClipboard(text, button) {
        if (navigator.clipboard && navigator.clipboard.writeText) {
            navigator.clipboard.writeText(text).then(function() {
                showCopySuccess(button);
            }).catch(function() {
                showCopyError(button);
            });
        } else {

                throw VerificationException(lines.joinToString("\n"))
            } else {
                mutations.forEach { (file, text) -> file.writeText(text) }
            }
        } else {
            if (failures.isNotEmpty()) {
                var message = """
                    Invalid declared target runtimes found.

    protected
    fun File.withFile(path: String, text: String = ""): File =
        resolve(path).apply {
            parentFile.mkdirs()
            writeText(text.trimIndent())
        }

    protected
    fun File.withKotlinFile(path: String, @Language("kotlin") text: String): File = withFile(path, text)

    protected