diff --git a/ocaml/TODO.md b/ocaml/TODO.md index e7c683f..255baef 100644 --- a/ocaml/TODO.md +++ b/ocaml/TODO.md @@ -29,6 +29,12 @@ - [ ] Expand unit tests coverage - [ ] Try out doc generation +- [ ] Check out + - [ ] + - [ ] + - [ ] + - [ ] + ## Notes 1. INS = Iganaq Napkin Spec: diff --git a/ocaml/test/cram.t b/ocaml/test/cram.t index a4aeacb..74ed372 100644 --- a/ocaml/test/cram.t +++ b/ocaml/test/cram.t @@ -1,4 +1,4 @@ -This file tests this tori implementation against the Iganaq Napkin Spec v0 +This file tests this tori implementation against the Iganaq Napkin Spec v0.1 A2. 'log' MUST print only if DEBUG is set and MUST be preceded by ' [log] '