Testing invariants on chain

[0xSolProf]

First of all, cool work!

I was wondering if/how we can use ityfuzz to test invariants on-chain?

In case of Echidna we would create a testing contract that calls the contract, how should we approach that in ityfuzz? (We should be able to prank the senders still such that not all tests come from the sender contract as msg.sender)

Have a good weekend

[0xSolProf]

Got it, for others:

Sometimes we need to fuzz from specific senders instead of random senders (i.e. owners / authorized accounts). Ityfuzz can take over the targetSender from Foundry (example) :

ityfuzz/src/evm/corpus_initializer.rs

Lines 436 to 445 in 96e251e

	// We override default callers when target senders are specified
	if let Some(setup_data) = &loader.setup_data {
	if !setup_data.target_senders.is_empty() {
	for caller in setup_data.target_senders.iter() {
	self.state.add_caller(caller);
	self.executor
	.host
	.evmstate
	.set_balance(*caller, EVMU256::from(INITIAL_BALANCE));
	}

So we can then follow #460 and add targetSender(s):

Thanks for implementing this @shouc ❤️