Component Forge Have you ensured that all of th

I was not able to reproduce this one anymore since <a class="issue-link js-issue-link"

Setting for `include_storage` in invariant tests seems to leak into fuzz tests settings about foundry HOT 3 OPEN

apbendi commented on June 4, 2024

Setting for `include_storage` in invariant tests seems to leak into fuzz tests settings

from foundry.

Comments (3)

grandizzy commented on June 4, 2024

you should not get those if you set dictionary_weight=0, that is fuzzed calldata won't use state

foundry/crates/evm/evm/src/executors/fuzz/mod.rs

Lines 85 to 89 in e5318c3

 let dictionary_weight = self.config.dictionary.dictionary_weight.min(100); 

 let strat = proptest::prop_oneof![ 

 100 - dictionary_weight => fuzz_calldata(func.clone()), 

 dictionary_weight => fuzz_calldata_from_state(func.clone(), &state), 

 ];

from foundry.

mds1 commented on June 4, 2024

I believe include_storage is still being respected, but the address is being added to the dictionary simply because it exists in the vm database (outside of contract storage), see here:

foundry/crates/evm/fuzz/src/strategies/state.rs

Lines 95 to 100 in e5acbcf

 let mut state = FuzzDictionary::default(); 

 for (address, account) in db.accounts.iter() { 

 let address: Address = *address; 

 // Insert basic account information 

 state.values_mut().insert(address.into_word().into());

However, I don't think that has changed recently so I'm unsure why the behavior appears to have changed. cc @DaniPopes @klkvr

from foundry.

grandizzy commented on June 4, 2024

I was not able to reproduce this one anymore since #7552 fix, @apbendi would you mind retest? thanks

from foundry.

Setting for `include_storage` in invariant tests seems to leak into fuzz tests settings about foundry HOT 3 OPEN

Comments (3)

Related Issues (20)

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent

	let dictionary_weight = self.config.dictionary.dictionary_weight.min(100);
	let strat = proptest::prop_oneof![
	100 - dictionary_weight => fuzz_calldata(func.clone()),
	dictionary_weight => fuzz_calldata_from_state(func.clone(), &state),
	];

	let mut state = FuzzDictionary::default();

	for (address, account) in db.accounts.iter() {
	let address: Address = *address;
	// Insert basic account information
	state.values_mut().insert(address.into_word().into());