Comments (4)
hm no idea here, it seems to be an error from vty. What OS / terminal emulator are you using @aviggiano? does it happen if you use a different terminal app?
If you can try to reproduce it with the binaries from the GHC 9.6 PR that would be nice as well; that branch uses a newer version of the UI stack (brick, vty) so it may fix things. You can get binaries from the CI run here: https://github.com/crytic/echidna/actions/runs/8915729894
from echidna.
Hey
Giving more info about this bug.
I'm pretty confident that this happens when I "alt+tab" from my terminal window. Here are more logs showing what happened:
[I] ➜ echidna . --contract CryticTester --config echidna.yaml --test-mode property
[2024-05-03 12:07:09.98] Compiling .... Done! (13.71722s)
Analyzing contract: src/invariants/CryticTester.sol:CryticTester
[2024-05-03 12:07:24.32] Running slither on .... Done! (1.328662s)
WARNING: Running slither failed. Echidna will continue, however fuzzing will likely be less effective.
Loaded 0 transaction sequences from echidna/reproducers
Loaded 58 transaction sequences from echidna/coverage
echidna: no fore color support for terminal xterm-256color
CallStack (from HasCallStack):
error, called at src/Graphics/Vty/Output/TerminfoBased.hs:119:39 in vty-5.38-IjxqNDNH7C1mXkr8nIcBw:Graphics.Vty.Output.TerminfoBased
size-solidity on invariant-tests [$!?] via ⬢ v20.10.0 via slither took 17s
[I] ➜ forge fmt
size-solidity on invariant-tests [$!?] via ⬢ v20.10.0 via slither
[I] ➜ echidna . --contract CryticTester --config echidna.yaml --test-mode property
[2024-05-03 12:08:37.69] Compiling .... Done! (13.699916s)
Analyzing contract: src/invariants/CryticTester.sol:CryticTester
[2024-05-03 12:08:51.96] Running slither on .... Done! (1.761485s)
WARNING: Running slither failed. Echidna will continue, however fuzzing will likely be less effective.
Loaded 0 transaction sequences from echidna/reproducers
Loaded 58 transaction sequences from echidna/coverage
echidna: no fore color support for terminal xterm-256color
CallStack (from HasCallStack):
error, called at src/Graphics/Vty/Output/TerminfoBased.hs:119:39 in vty-5.38-IjxqNDNH7C1mXkr8nIcBw:Graphics.Vty.Output.TerminfoBased
size-solidity on invariant-tests [$!?] via ⬢ v20.10.0 via slither took 17s
[I] ➜ echidna . --contract CryticTester --config echidna.yaml --test-mode property
[2024-05-03 12:10:21.21] Compiling .... Done! (13.940606s)
Analyzing contract: src/invariants/CryticTester.sol:CryticTester
[2024-05-03 12:10:35.78] Running slither on .... Done! (1.150923s)
WARNING: Running slither failed. Echidna will continue, however fuzzing will likely be less effective.
Loaded 0 transaction sequences from echidna/reproducers
Loaded 58 transaction sequences from echidna/coverage
echidna: no fore color support for terminal xterm-256color
CallStack (from HasCallStack):
error, called at src/Graphics/Vty/Output/TerminfoBased.hs:119:39 in vty-5.38-IjxqNDNH7C1mXkr8nIcBw:Graphics.Vty.Output.TerminfoBased
size-solidity on invariant-tests [$!?] via ⬢ v20.10.0 via slither took 16s
[I] ➜ echidna . --contract CryticTester --config echidna.yaml --test-mode property
[2024-05-03 12:11:20.55] Compiling .... Done! (13.726327s)
Analyzing contract: src/invariants/CryticTester.sol:CryticTester
[2024-05-03 12:11:34.85] Running slither on .... Done! (1.081459s)
WARNING: Running slither failed. Echidna will continue, however fuzzing will likely be less effective.
Loaded 0 transaction sequences from echidna/reproducers
Loaded 58 transaction sequences from echidna/coverage
invariant_TOKENS_01: passing
invariant_UNDERWATER_01: passing
invariant_LOAN_01: passing
invariant_SOLVENCY: passing
Unique instructions: 41401
Unique codehashes: 32
Corpus size: 1
Seed: 7489732621172236028
[2024-05-03 12:11:38.66] Saving test reproducers... Done! (0s)
[2024-05-03 12:11:38.66] Saving corpus... Done! (0.067842s)
I started Echidna, switched windows, went to do something else, got back, and it had crashed.
Then started again, switched windows, went to do something else, and it crashed again.
I repeated this process until I decided to just wait for it to start (it's so slow 🥲 🥲 🥲 ) and the bug stopped happening!
Please let me know if I can provide more information
from echidna.
@elopez any idea about this? 🤔
from echidna.
I'm using macOS with iTerm 2. I haven't tried switching terminal apps yet.
Another (probably related) UI bug just happened:
[I] ➜ echidna . --contract CryticTester --config echidna.yaml --test-mode property
[2024-05-03 12:38:47.73] Compiling .... Done! (16.033369s)
Analyzing contract: src/invariants/CryticTester.sol:CryticTester
[2024-05-03 12:39:04.52] Running slither on .... Done! (1.340301s)
WARNING: Running slither failed. Echidna will continue, however fuzzing will likely be less effective.
Loaded 0 transaction sequences from echidna/reproducers
Loaded 58 transaction sequences from echidna/coverage
echidna: user error (Terminal does not define required capability "cup")
I'll try to update my binaries, thanks!
from echidna.
Related Issues (20)
- Feature Request: Support for logging in view functions like Foundry's `console2` HOT 1
- [Bug-Candidate]: HOT 5
- [Bug-Candidate]: Coverage report doesn't display fuzzing contract in html unless an assertion fails HOT 1
- [Bug-Candidate]: `Cannot decode byte '\xe4': Data.Text.Encoding: Invalid UTF-8 stream` HOT 9
- Improve error message on MaxInitCodeSizeExceeded issue HOT 3
- Improve error message if the function hashmap is not detected HOT 3
- [Bug-Candidate]: Internal Error: TODO: implement copySlice with a symbolically sized region HOT 4
- Feature Request: Add setting to consider reverted tests as failed in assertion mode HOT 1
- Shrinking multicore HOT 3
- update number of workers to a decent default
- warn when seqLen > 1 and there haven't been any SLOAD/SSTORE in target HOT 1
- Allow Configurable Verbosity HOT 1
- [Bug-Candidate]: Contract is "unknown contract" but should be able to be identified HOT 2
- Have multiple workers to speed up fetching slots HOT 3
- [Bug-Candidate]: A simple contract took onchain fuzzer extremely long time to run due to zero calls per second HOT 2
- add call sequence mutation that removes all reverting txs in the sequences HOT 1
- [Bug-Candidate]: echidna: thread blocked indefinitely in an MVar operation HOT 2
- Log shrinking status when running in detached mode
- Fine-tune shrinking behavior
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from echidna.