mirror of
https://github.com/pezkuwichain/revive-differential-tests.git
synced 2026-06-19 20:21:05 +00:00
Update the JSON schema
This commit is contained in:
+43
-5
@@ -201,6 +201,10 @@
|
|||||||
{
|
{
|
||||||
"description": "A special step for repeating a bunch of steps a certain number of times.",
|
"description": "A special step for repeating a bunch of steps a certain number of times.",
|
||||||
"$ref": "#/$defs/RepeatStep"
|
"$ref": "#/$defs/RepeatStep"
|
||||||
|
},
|
||||||
|
{
|
||||||
|
"description": "A step type that allows for a new account address to be allocated and to later on be used\nas the caller in another step.",
|
||||||
|
"$ref": "#/$defs/AllocateAccountStep"
|
||||||
}
|
}
|
||||||
]
|
]
|
||||||
},
|
},
|
||||||
@@ -377,9 +381,13 @@
|
|||||||
"properties": {
|
"properties": {
|
||||||
"address": {
|
"address": {
|
||||||
"description": "An optional field of the address of the emitter of the event.",
|
"description": "An optional field of the address of the emitter of the event.",
|
||||||
"type": [
|
"anyOf": [
|
||||||
"string",
|
{
|
||||||
"null"
|
"$ref": "#/$defs/StepAddress"
|
||||||
|
},
|
||||||
|
{
|
||||||
|
"type": "null"
|
||||||
|
}
|
||||||
]
|
]
|
||||||
},
|
},
|
||||||
"topics": {
|
"topics": {
|
||||||
@@ -399,6 +407,10 @@
|
|||||||
"values"
|
"values"
|
||||||
]
|
]
|
||||||
},
|
},
|
||||||
|
"StepAddress": {
|
||||||
|
"description": "An address type that might either be an address literal or a resolvable address.",
|
||||||
|
"type": "string"
|
||||||
|
},
|
||||||
"EtherValue": {
|
"EtherValue": {
|
||||||
"description": "Defines an Ether value.\n\nThis is an unsigned 256 bit integer that's followed by some denomination which can either be\neth, ether, gwei, or wei.",
|
"description": "Defines an Ether value.\n\nThis is an unsigned 256 bit integer that's followed by some denomination which can either be\neth, ether, gwei, or wei.",
|
||||||
"type": "string"
|
"type": "string"
|
||||||
@@ -431,7 +443,7 @@
|
|||||||
},
|
},
|
||||||
"address": {
|
"address": {
|
||||||
"description": "The address that the balance assertion should be done on.\n\nThis is a string which will be resolved into an address when being processed. Therefore,\nthis could be a normal hex address, a variable such as `Test.address`, or perhaps even a\nfull on variable like `$VARIABLE:Uniswap`. It follows the same resolution rules that are\nfollowed in the calldata.",
|
"description": "The address that the balance assertion should be done on.\n\nThis is a string which will be resolved into an address when being processed. Therefore,\nthis could be a normal hex address, a variable such as `Test.address`, or perhaps even a\nfull on variable like `$VARIABLE:Uniswap`. It follows the same resolution rules that are\nfollowed in the calldata.",
|
||||||
"type": "string"
|
"$ref": "#/$defs/StepAddress"
|
||||||
},
|
},
|
||||||
"expected_balance": {
|
"expected_balance": {
|
||||||
"description": "The amount of balance to assert that the account or contract has. This is a 256 bit string\nthat's serialized and deserialized into a decimal string.",
|
"description": "The amount of balance to assert that the account or contract has. This is a 256 bit string\nthat's serialized and deserialized into a decimal string.",
|
||||||
@@ -456,7 +468,7 @@
|
|||||||
},
|
},
|
||||||
"address": {
|
"address": {
|
||||||
"description": "The address that the balance assertion should be done on.\n\nThis is a string which will be resolved into an address when being processed. Therefore,\nthis could be a normal hex address, a variable such as `Test.address`, or perhaps even a\nfull on variable like `$VARIABLE:Uniswap`. It follows the same resolution rules that are\nfollowed in the calldata.",
|
"description": "The address that the balance assertion should be done on.\n\nThis is a string which will be resolved into an address when being processed. Therefore,\nthis could be a normal hex address, a variable such as `Test.address`, or perhaps even a\nfull on variable like `$VARIABLE:Uniswap`. It follows the same resolution rules that are\nfollowed in the calldata.",
|
||||||
"type": "string"
|
"$ref": "#/$defs/StepAddress"
|
||||||
},
|
},
|
||||||
"is_storage_empty": {
|
"is_storage_empty": {
|
||||||
"description": "A boolean of whether the storage of the address is empty or not.",
|
"description": "A boolean of whether the storage of the address is empty or not.",
|
||||||
@@ -472,6 +484,13 @@
|
|||||||
"description": "This represents a repetition step which is a special step type that allows for a sequence of\nsteps to be repeated (on different drivers) a certain number of times.",
|
"description": "This represents a repetition step which is a special step type that allows for a sequence of\nsteps to be repeated (on different drivers) a certain number of times.",
|
||||||
"type": "object",
|
"type": "object",
|
||||||
"properties": {
|
"properties": {
|
||||||
|
"comment": {
|
||||||
|
"description": "An optional comment on the repetition step.",
|
||||||
|
"type": [
|
||||||
|
"string",
|
||||||
|
"null"
|
||||||
|
]
|
||||||
|
},
|
||||||
"repeat": {
|
"repeat": {
|
||||||
"description": "The number of repetitions that the steps should be repeated for.",
|
"description": "The number of repetitions that the steps should be repeated for.",
|
||||||
"type": "integer",
|
"type": "integer",
|
||||||
@@ -491,6 +510,25 @@
|
|||||||
"steps"
|
"steps"
|
||||||
]
|
]
|
||||||
},
|
},
|
||||||
|
"AllocateAccountStep": {
|
||||||
|
"type": "object",
|
||||||
|
"properties": {
|
||||||
|
"comment": {
|
||||||
|
"description": "An optional comment on the account allocation step.",
|
||||||
|
"type": [
|
||||||
|
"string",
|
||||||
|
"null"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"allocate_account": {
|
||||||
|
"description": "An instruction to allocate a new account with the value being the variable name of that\naccount. This must start with `$VARIABLE:` and then be followed by the variable name of the\naccount.",
|
||||||
|
"type": "string"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"required": [
|
||||||
|
"allocate_account"
|
||||||
|
]
|
||||||
|
},
|
||||||
"ContractPathAndIdent": {
|
"ContractPathAndIdent": {
|
||||||
"description": "Represents an identifier used for contracts.\n\nThe type supports serialization from and into the following string format:\n\n```text\n${path}:${contract_ident}\n```",
|
"description": "Represents an identifier used for contracts.\n\nThe type supports serialization from and into the following string format:\n\n```text\n${path}:${contract_ident}\n```",
|
||||||
"type": "string"
|
"type": "string"
|
||||||
|
|||||||
Reference in New Issue
Block a user