This PR includes only tests for the failing cases (i.e., trying to operate on the checker state while it's still unsealed). I wanted to add tests for the succeeding cases too, but this one got already big enough without them, so I'll open a separate PR for those cases.
Test coverage also increases (from 84.32% to 85.59%).
This PR includes only tests for the failing cases (i.e., trying to operate on the checker state while it's still unsealed). I wanted to add tests for the succeeding cases too, but this one got already big enough without them, so I'll open a separate PR for those cases.
Test coverage also increases (from 84.32% to 85.59%).