From 03b13891e3e8543a9d5cc42512b0f0d4e71940f0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 6 Jun 2012 21:57:37 +0200
Subject: [PATCH] * bench/ltl2tgba/algorithms: Add two missing degeneralized
 config.

---
 bench/ltl2tgba/algorithms | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/bench/ltl2tgba/algorithms b/bench/ltl2tgba/algorithms
index 113ae92d2..8d3c81ba6 100644
--- a/bench/ltl2tgba/algorithms
+++ b/bench/ltl2tgba/algorithms
@@ -94,6 +94,14 @@ Algorithm
    Enabled = yes
 }
 
+Algorithm
+{
+   Name = "Spot FM Sim (degen)"
+   Path = "$LBTT_TRANSLATE"
+   Parameters = "--spin '$LTL2TGBA -f -N -R3 -r7 -x -RDS -F'"
+   Enabled = yes
+}
+
 Algorithm
 {
    Name = "Spot FM WDBA (degen)"
@@ -102,6 +110,14 @@ Algorithm
    Enabled = yes
 }
 
+Algorithm
+{
+   Name = "Spot FM WDBA+Sim (degen)"
+   Path = "$LBTT_TRANSLATE"
+   Parameters = "--spin '$LTL2TGBA -f -N -R3 -r7 -x -Rm -RDS -F'"
+   Enabled = yes
+}
+
 Algorithm
 {
    Name = "Spot FM (TGBA)"