Function cleanString

scripts/bytecodecompare/prepare_report.js:25–30

(string)

}

function cleanString(string)
{
    if (string !== undefined)
        string = string.trim()
    return (string !== '' ? string : undefined)
}

let inputFiles = []
let stripSMTPragmas = false