sophia/test/contracts/bad_bytes_to_x.aes
Hans Svensson 021ba6f465 Add tests
2023-06-30 14:22:11 +02:00

6 lines
214 B
Plaintext

// include "String.aes"
contract BytesToX =
entrypoint fail1(b : bytes()) = Bytes.to_fixed_size(b)
entrypoint fail2(b : bytes(4)) = Bytes.to_fixed_size(b)
entrypoint fail3(b : bytes()) = Bytes.to_any_size(b)