Create a test that demonstrates the payable multicall vulnerability
karmacoma-eth opened this issue · comments
The issue is described here:
can halmos find the problem and produce a counterexample? If it does, we should consider it for inclusion under tests/