The ModuleKit is integrated with the ERC-4337 Validation library in order to make it effortless to ensure modules comply with the restrictions required by the ERC-4337 mempool. You can find the restrictions in the ERC-7562 specifications. Note: alternatively to the below, you can also use the simulateUserOp function to simulate only specific UserOperations.

​
Update your configuration

To use simulation, you will need to update your foundry.toml file as follows: 
gas_limit = "18446744073709551615"
memory_limit = 2147483648
verbosity = 3

​
Write your tests

When you write your tests, you can use the makeAccountInstance function to create an account instance. Then, you can use this instance to execute transactions, for example: 
// Create an account instance
AccountInstance memory instance = makeAccountInstance("account1");

// Execute a UserOperation on the account
instance.exec({ target: address(1), value: 1 wei, callData: "" });

​
Run your tests with simulation

To do this, run: 
SIMULATE=true forge test
If your tests are successful, you are compliant with the ERC-4337 restrictions. Otherwise, you will receive an error message.