result in .gitignore + pretty printing

diff --git a/.gitignore b/.gitignore
index ed7118b..f22646a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,5 @@ _build
 *.byte
 doc/*.ps
 doc/*.out
-doc/html/*
\ No newline at end of file
+doc/html/*
+tests/results/*
\ No newline at end of file

diff --git a/src/run.ml b/src/run.ml
index 444cce7..57e037d 100644 (file)
--- a/src/run.ml
+++ b/src/run.ml
@@ -40,11 +40,11 @@ let print fmt run =
     if NodeHash.length run = 0
     then Format.fprintf fmt "ø"
     else
-      NodeHash.iter (fun cle set -> pp "|  %i-->%a@ " cle print_d_set set)
+      NodeHash.iter (fun cle set -> pp "@ |  %i-->%a" cle print_d_set set)
         run in
   let print_box fmt run =
     let pp = Format.fprintf fmt in
-    pp "@[<v 0># Mapping: %a@ @]"
+    pp "@[<v 0># Mapping: %a@]"
       print_map run
   in
-  Format.fprintf fmt "@[<v 1>##### RUN #####@, %a@ @]@." print_box run
+  Format.fprintf fmt "@[<v 1>##### RUN #####@, %a@]@." print_box run

diff --git a/tests/results/my.result b/tests/results/my.result
index 760aeaf..c2f4cd7 100644 (file)
--- a/tests/results/my.result
+++ b/tests/results/my.result
@@ -40,5 +40,3 @@ Parse Tree OK ! Parse query OK ! Compil OK ! Run OK !
  
 ##### RUN #####
   # Mapping: ø
-  
-