♻️ Fix assume Condition in testFuzz_ShouldBeAFunctionOfMultipleBlockPropertiesAndTheCaller

[pcaversaccio]

🕓 Changelog

The fuzzing parameter msgSender in testFuzz_ShouldBeAFunctionOfMultipleBlockPropertiesAndTheCaller must not equal SELF (i.e. address(this), the test contract) for the following negative assertion to always hold:

vm.startPrank(msgSender);
assertNotEq(originalSalt, createXHarness.exposed_generateSalt(), "1100");
vm.stopPrank();

🐶 Cute Animal Picture

[github-actions]

Coverage after merging fix-generateSalt-test into main will be

100.00%

Coverage Report

File	Stmts	Branches	Funcs	Lines	Uncovered Lines
src
CreateX.sol	100%	100%	100%	100%

[pcaversaccio]

Merging since I will add DOS deployment today and I want a clean CI :)

[mds1]

Can't approve since it's already merged, but LGTM