Source/JavaScriptCore/replay/JSInputs.json

{
    "types": {
        "Global": [
            { "name": "double", "mode": "SCALAR" },
            { "name": "uint64_t", "mode": "SCALAR" }
        ]
    },

    "inputs": [
        {
            "name": "GetCurrentTime",
            "description": "Supplies the system time to Date.now() and new Date().",
            "queue": "SCRIPT_MEMOIZED",
            "members": [
                { "name": "currentTime", "type": "double" }
            ]
        },
        {
            "name": "SetRandomSeed",
            "description": "Sets the PRNG seed used by Math.random().",
            "queue": "SCRIPT_MEMOIZED",
            "members": [
                { "name": "randomSeed", "type": "uint64_t" }
            ]
        }
    ]
}