Closed jubnzv closed 1 year ago
It is ready for review. It seems that it work, but we should additionally test the dynamic behavior of merged contracts and try to use the Product
library with the fuzzer.
Btw, can we try merge the ping-pong contracts into one and make sure the dynamic behavior is preserved?
Yes, but it will take some time. I'll take a look after the current task is finished (in ~2 days).
Closes #1147