swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Browse source
This commit is contained in:
swrup 2025-10-08 22:38:04 +02:00
parent d29c73f627
commit 4331d7c706
3 changed files with 163 additions and 35 deletions
Download patch file Download diff file Expand all files Collapse all files

5
include/gen_taler_signatures.ml
View file

@ -38,8 +38,11 @@ let parse input =
| Ok defs -> defs
| Error msg -> failwith msg
let read_file file = In_channel.with_open_bin file In_channel.input_all
let () =
let l = parse Data.content in
let content = read_file "taler_signatures.h" in
let l = parse content in
assert (List.length l = 74);
let pp ppf { name; value } =