diff options
Diffstat (limited to 'ocaml/ivorypillnock.md')
| -rw-r--r-- | ocaml/ivorypillnock.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ocaml/ivorypillnock.md b/ocaml/ivorypillnock.md new file mode 100644 index 0000000..025986f --- /dev/null +++ b/ocaml/ivorypillnock.md @@ -0,0 +1,12 @@ + +[6] Verifying kernel structure... + ✓ Has poke gate at slot 23 + Checking structural properties: + Slot 2 (battery): cell ✓ + Slot 3 (payload): cell ✓ + Slot 23 (poke): cell (gate) ✓ + Poke battery: atom ✗ + Computing mugs of sub-structures: + Slot 2 (battery) mug: 0x6d668e4a + Slot 3 (payload) mug: 0x5be29baa + Slot 23 (poke) mug: 0x39aec359 so yeah not great |