diff --git a/docs/wake-schema.json b/docs/wake-schema.json index 27a446859..ad309ff92 100644 --- a/docs/wake-schema.json +++ b/docs/wake-schema.json @@ -195,7 +195,7 @@ "properties": { "cmd": { "type": "string", - "enum": ["anvil", "hardhat"], + "enum": ["revm", "anvil", "hardhat"], "default": "anvil", "description": "Which development chain to use for testing" }, diff --git a/wake/cli/test.py b/wake/cli/test.py index 2f03d5cde..9d1079208 100644 --- a/wake/cli/test.py +++ b/wake/cli/test.py @@ -90,7 +90,6 @@ def shell_complete( help="Increase verbosity. Can be specified multiple times.", ) @click.option( - "-RS", "--random-state", type=str, help="Input random state json path.", @@ -100,7 +99,6 @@ def shell_complete( required=False, ) @click.option( - "-SH", "--shrink", # Didn't use click.Path since we accept relative index of crash log file type=str, @@ -126,9 +124,7 @@ def shell_complete( help="When shrinking, check only target invariants for faster fuzzing.", ) @click.option( - "-SR", "--shrunk", - "--shrank", "--reproduce", # Didn't use click.Path since we accept relative index of crash log file type=str, diff --git a/wake/config/data_model.py b/wake/config/data_model.py index a4727f437..bd8911470 100644 --- a/wake/config/data_model.py +++ b/wake/config/data_model.py @@ -406,7 +406,8 @@ class TestingConfig(WakeConfigModel): """ cmd: str = "anvil" """ - Which development chain to use for testing. Should be either `anvil` or `hardhat`. + Which development chain to use for testing. Should be one of `revm`, `anvil`, or + `hardhat`. """ anvil: AnvilConfig = Field(default_factory=AnvilConfig) """