From 3f61a34bd1a9b325142aadcc86d0e0c8a034ef18 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 22 Jan 2013 11:45:45 +0100
Subject: [PATCH] * src/tgbatest/ltlcross2.test: Fix list of tested
 configurations.

---
 src/tgbatest/ltlcross2.test | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/src/tgbatest/ltlcross2.test b/src/tgbatest/ltlcross2.test
index a9c8ab109..60b64b593 100755
--- a/src/tgbatest/ltlcross2.test
+++ b/src/tgbatest/ltlcross2.test
@@ -1,7 +1,7 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2012 Laboratoire de Recherche et
-# Développement de l'Epita (LRDE).
+# Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement
+# de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
 #
@@ -24,15 +24,13 @@ ltl2tgba=../../bin/ltl2tgba
 
 ../../bin/randltl -P -n 100 p1 p2 p3 p4 p5 p6 --tree-size 5..15 |
 ../../bin/ltlcross \
-  "$ltl2tgba --lbtt --any --small %f > %T" \
+  "$ltl2tgba --lbtt --any --low %f > %T" \
   "$ltl2tgba --lbtt --any --medium %f > %T" \
   "$ltl2tgba --lbtt --any --high %f > %T" \
-  "$ltl2tgba --lbtt --deterministic --small %f > %T" \
+  "$ltl2tgba --lbtt --deterministic --low %f > %T" \
   "$ltl2tgba --lbtt --deterministic --medium %f > %T" \
   "$ltl2tgba --lbtt --deterministic --high %f > %T" \
-  "$ltl2tgba --lbtt --high --small %f > %T" \
-  "$ltl2tgba --lbtt --high --medium %f > %T" \
-  "$ltl2tgba --lbtt --high --high %f > %T" \
+  "$ltl2tgba --lbtt --small --low %f > %T" \
+  "$ltl2tgba --lbtt --small --medium %f > %T" \
+  "$ltl2tgba --lbtt --small --high %f > %T" \
   --json=output.json --csv=output.csv
-
-