wake
wake copied to clipboard
Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
Use indexes to pick the right private key. Will be usually used with different HD paths and the same mnemonic.
[inferior] INFO 2024-04-12 15:19:09,026 wake.config.wake_config: wake_config.py:175 [inferior] Config file '/home/kyli/.config/wake/config.toml' [inferior] does not exist. [inferior] INFO 2024-04-12 15:19:09,352 wake.cli.lsp: Started LSP server on lsp.py:31 [inferior] port 43593 [inferior] INFO 2024-04-12...
When I try to init with command: ```bash wake init config ``` There a the out put : ``` [17:18:28] Found 258 *.sol files in 2.29 s init.py:565 Failed to...
I got two errors when migrating which seemed to resolve after I killed vscode The first wake lsp --port 64193 ╭─────────────────────────────── Traceback (most recent call last) ────────────────────────────────╮ │ /opt/homebrew/bin/wake:8 in...
When using an aarch64 host, one will encounter an issue such as the following: ``` Running '/home/user/.local/bin/woke lsp --port 43831' [Error - 6:13:31 PM] Traceback (most recent call last): File...
This change allows the user to define a custom method to generate values for a flow parameter. In the example below, a custom generation function is defined for a Balance...
When developing stateful fuzz tests, I have had a few scenarios where I want to run a transaction to check that a condition holds, but I do not want that...
Consider: ```solidity // A.sol contract A { constructor() { revert(); } } ``` ```python # script.py from woke.testing import * from pytypes.A import A @default_chain.connect() def script(): default_chain.set_default_accounts(default_chain.accounts[0]) with must_revert()...