From 48d508420bddb901349fb2cc83e42c6f801aa7af Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 27 Jan 2015 16:02:13 +0100
Subject: [PATCH] ltldo: rounds start at 1

* src/bin/ltldo.cc: Start at 1.
* src/tgbatest/ltldo.test: Adjust.
---
 src/bin/ltldo.cc        |  2 +-
 src/tgbatest/ltldo.test | 12 ++++++------
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/bin/ltldo.cc b/src/bin/ltldo.cc
index 4e81c620d..2d1117595 100644
--- a/src/bin/ltldo.cc
+++ b/src/bin/ltldo.cc
@@ -317,7 +317,7 @@ namespace
 	  f = g;
 	}
 
-      static unsigned round = 0;
+      static unsigned round = 1;
       runner.round_formula(f, round);
 
       unsigned ts = translators.size();
diff --git a/src/tgbatest/ltldo.test b/src/tgbatest/ltldo.test
index 43c643760..49ae8b67d 100755
--- a/src/tgbatest/ltldo.test
+++ b/src/tgbatest/ltldo.test
@@ -53,12 +53,12 @@ run 0 $ltldo "{tgba}$ltl2tgba %f -H >%H" "{ba}$ltl2tgba >%N %f -s" \
 	     --stats="%T,%R,%f,%s,%t,%e" >output
 cat output
 cat >expected <<EOF
-tgba,0,GFp1,1,2,2
-ba,0,GFp1,2,4,4
-tgba,1,GFp1 & GFp2,1,4,4
-ba,1,GFp1 & GFp2,3,12,8
-tgba,2,GFp1 & GFp2 & GFp3,1,8,8
-ba,2,GFp1 & GFp2 & GFp3,4,32,13
+tgba,1,GFp1,1,2,2
+ba,1,GFp1,2,4,4
+tgba,2,GFp1 & GFp2,1,4,4
+ba,2,GFp1 & GFp2,3,12,8
+tgba,3,GFp1 & GFp2 & GFp3,1,8,8
+ba,3,GFp1 & GFp2 & GFp3,4,32,13
 EOF
 diff output expected