ityfuzz

ityfuzz copied to clipboard

We use an old version of revm and need to upgrade it

shouc

Replicating Daedaluzz Benchmarks

2

Hey, I was wondering if there are any scripts for replicating the Daedaluzz and Verismart benchmark results with. I've tried running ityfuzz on one of the Daedaluzz benchmarks, but I...

cvick32

how to set a time limit when testing a smart contract?

1

When I test a contract using the command "ityfuzz evm -t './build/*'", the program keeps running indefinitely. How can I set a time limit or stop the program from running?...

nicedinner2

Inquire about the llm-exp module

1

I would like to inquire about the implementation approach for the 'llm-exp' section within the Pull Request. After reviewing the code, I'm somewhat unclear on how the large language model...

harmony666

Math Oracle

14

0xAWM

thread 'main' panicked at src/evm/contract_utils.rs:847:9: setUp() failed

1

Command: ``` blazo . -s src/SetUp.sol:SetUp ``` Print: ``` Results written to ./.ityfuzz/artifacts_file.json Starting ityfuzz with command: ityfuzz evm --builder-artifacts-file ./.ityfuzz/artifacts_file.json -t "a" --work-dir ./.ityfuzz --setup-file src/SetUp.sol:SetUp stderr: thread 'main'...

0xxfu

Currently, if users want to develop an oracle, they have to implement it in the ityfuzz project, modify the `evm_main` flow, wait for it to be merged. Is it possible...

0xxfu

shouc

jqhc

Should panic when assertion failed

0xAWM