{
    "comment": "verifies that setState and checkState are consistent",
    "steps": [
        {
            "step": "setState",
            "accounts": {
                "address:the-address": {
                    "nonce": "1001"
                }
            }
        },
        {
            "step": "checkState",
            "accounts": {
                "address:the-address": {
                    "nonce": "1002"
                }
            }
        }
    ]
}