From b343e16b5179a56320f42e7757973f500967f6cb Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 22 Sep 2005 16:07:30 +0000
Subject: [PATCH] * src/tgbatest/randtgba.cc (default_algos): Test the
 "ordering" heuristic.

---
 ChangeLog                | 5 +++++
 src/tgbatest/randtgba.cc | 2 ++
 2 files changed, 7 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 80c2c11bd..9c59e8221 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2005-09-22  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbatest/randtgba.cc (default_algos): Test the "ordering"
+	heuristic.
+
 2005-09-20  Heikki Tauriainen  <heikki.tauriainen@tkk.fi>
 
 	* src/tgbaalgos/tau03opt.cc: Include <vector>.
diff --git a/src/tgbatest/randtgba.cc b/src/tgbatest/randtgba.cc
index 35d45d3b5..86f88facf 100644
--- a/src/tgbatest/randtgba.cc
+++ b/src/tgbatest/randtgba.cc
@@ -77,6 +77,8 @@ const char* default_algos[] = {
   "Tau03",
   "Tau03_opt",
   "Tau03_opt(condstack)",
+  "Tau03_opt(condstack ordering)",
+  "Tau03_opt(condstack ordering !weights)",
   0
 };