From 5ffa39c47b42c0408808772498162b17756b5309 Mon Sep 17 00:00:00 2001
From: Arnaud Vergnet <arnaud.vergnet@mailo.com>
Date: Thu, 12 Nov 2020 14:02:44 +0100
Subject: [PATCH] add tools module tests

---
 src/ftest.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/ftest.ml b/src/ftest.ml
index 2891c80..fa3ee0d 100644
--- a/src/ftest.ml
+++ b/src/ftest.ml
@@ -1,4 +1,6 @@
 open Gfile
+open Tools
+open Ffalgo
 
 let () =
 
@@ -22,7 +24,9 @@ let () =
 
   (* Open file *)
   let graph = from_file infile in
-
+  (* let graph2 = clone_nodes graph in *)
+  (* let graph2 = gmap (gmap (gmap graph int_of_string) (fun x -> x + 1)) string_of_int in *)
+  (* let graph2 = gmap (add_arc (gmap graph int_of_string) 2 1 13) string_of_int in *)
   (* Rewrite the graph that has been read. *)
   let () = export outfile graph in