Add RLP tests - Githubissues

HigherOrderCO / Kind

A modern proof language

https://higherorderco.com

MIT License

3.58k stars 142 forks source link

Add RLP tests #304

Closed MaisaMilena closed 3 years ago

MaisaMilena commented 3 years ago

To test it, go to base dir and run kind RLP.test.show --run. The result of the test will appear as pass or fail, describing the case where it failed.

Preview:

RLP
  RLP.encode
    0: fail ✗ "
[0] test: 0
expected: 0x80
got: 0x"
    1: pass ✓
    2: pass ✓
    3: pass ✓
    4: fail ✗ "
[4] test: 100000
expected: 0x830186a0
got: 0x0186a0"

caotic123 commented 3 years ago

Wonderful, no more. Merged.