[programmability] Add tests for struct_with_key_verifier #47
Conversation
| } | ||
|
|
||
| #[test] | ||
| fn non_key_struct_without_fields() { |
There was a problem hiding this comment.
This will actually get rejected by the regular bytecode verifier--it insists that every struct has at least one field (otherwise, the struct isn't serializable). So we probably don't want this test?
There was a problem hiding this comment.
The problem is that we have to handle this case in the verifier code and error out if it happens (since we run our verifier before move verifier). Since we verify it anyway, we might as well test it
There was a problem hiding this comment.
Nice!
One other useful test might be a correctly named/typed id field, but in the wrong position (e.g., it's the second field). I think a verifier that insists that the id field is the last one would pass the current test suite, but would not pass after adding this test.
Add unit tests to cover all error/success cases for the struct_with_key_verifier.
cargo test