From 13eb676f2060807d9e81d57549ddecaac4ef51de Mon Sep 17 00:00:00 2001 From: jutty Date: Sun, 27 Apr 2025 04:47:29 -0300 Subject: [PATCH] OCaml: Update cram test spec version, add some reference implementations --- ocaml/TODO.md | 6 ++++++ ocaml/test/cram.t | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) 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] '