Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-11 07:15:45 +03:00
Code Issues Projects Releases Wiki Activity

Lit: fix serialization

Browse Source
This commit is contained in:
rheidner 2021-10-04 15:04:51 -03:00
parent bb13e74b1e
commit 58c9ae27c4
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
base/Litereum.kind
View File

@ -420,7 +420,7 @@ Litereum.serialize.varlen.go(value: Nat): Bits
Litereum.deserialize.varlen.go(bits: Bits): Pair<Bits,Nat>
case bits {
e: {Bits.e, 0}
o: {bits.pred, 0}
o: {bits.pred, 1}
i: case bits.pred {
e: {bits.pred, 0}
o:
@ -1235,15 +1235,15 @@ Litereum: _
for tx in block:
IO.print("- " | Litereum.show.transaction(world, tx))
log("Evaluation: ")
let tmp = Litereum.run.block(world, block)
let tmp = Litereum.run.block(world, block) abort IO.print("failed execution")
IO.print("Done!")
IO.print("")
IO.print("Serialization:")
let bits = Litereum.serialize.block(world, block)
let {bits,block} = Litereum.deserialize.block(world, bits)
let bits = Litereum.serialize.block(tmp, block)
let {bits,block} = Litereum.deserialize.block(tmp, bits)
IO.print("- " | Bits.show(bits))
IO.print("Deserialization:")
for tx in block:
IO.print("- " | Litereum.show.transaction(world, tx))
IO.print("- " | Litereum.show.transaction(tmp, tx))
}