Adds test for preserving field element after conversion

This commit is contained in:
benbierens 2023-12-22 15:43:57 +01:00 committed by Dmitriy Ryajov
parent 1d12c38584
commit ff6e7589ac
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4

View File

@ -42,6 +42,13 @@ suite "conversion to/from bytes":
check bool(elements[0] == expected1)
check bool(elements[1] == expected2)
test "conversion preserves field element":
let
expected = toF(1234)
bytes = expected.toBytes()
actual = F.fromBytes(bytes).get()
check bool(expected == actual)
test "conversion from bytes adds 0x1 as an end marker":
let bytes = toSeq 1'u8..62'u8
let marker = @[1'u8]