Open 0x-r4bbit opened 1 month ago
Once #113 has landed we can start taking existing fuzz tests and move them over to certora rules. We need to check how many tests there are. If it's too many we'll break this issue down into smaller chunks.
Once #113 has landed we can start taking existing fuzz tests and move them over to certora rules. We need to check how many tests there are. If it's too many we'll break this issue down into smaller chunks.