Added program tree printing to lospec test

EasyCrypt · Nov 30, 2023 · 46292a6 · 46292a6
1 parent 025fb42
commit 46292a6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/libs/lospecs/lospecs_test.ml b/libs/lospecs/lospecs_test.ml
@@ -3,8 +3,7 @@ open Lospecs
 
 (* -------------------------------------------------------------------- *)
 let _ =
-  Io.parse IO.stdin
-
+    Format.printf "%a@." Ptree.pp_program (Io.parse IO.stdin)
 
 (* -------------------------------------------------------------------- *)
 module List : sig

diff --git a/libs/lospecs/ptree.ml b/libs/lospecs/ptree.ml
@@ -76,4 +76,4 @@ type pprogram =
   pdef list
 
 let pp_program (fmt: Format.formatter) (prog: pprogram) = 
-    Format.pp_print_list ~pp_sep:(fun out () -> Format.fprintf out "@.") pp_def fmt prog
+    Format.pp_print_list ~pp_sep:(fun out () -> Format.fprintf out "@.@.") pp_def fmt prog