Commit 1c2450f6 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

Please GCC 4.6.

* src/tgbatest/complementation.cc (check, automaton): Remove
these unused variables.
parent 03aabf9a
2011-08-17 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Please GCC 4.6.
* src/tgbatest/complementation.cc (check, automaton): Remove
these unused variables.
2011-08-17 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2011-08-17 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix a nondeterministic behavior of the degeneralization algorithm. Fix a nondeterministic behavior of the degeneralization algorithm.
......
// Copyright (C) 2008, 2009, 2010 Laboratoire de Recherche et Développement // Copyright (C) 2008, 2009, 2010, 2011 Laboratoire de Recherche et
// de l'Epita (LRDE). // Développement de l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
// //
...@@ -57,11 +57,10 @@ int main(int argc, char* argv[]) ...@@ -57,11 +57,10 @@ int main(int argc, char* argv[])
char *file = 0; char *file = 0;
bool print_safra = false; bool print_safra = false;
bool print_automaton = false; bool print_automaton = false;
bool check = false; //bool check = false;
int return_value = 0; int return_value = 0;
bool stats = false; bool stats = false;
bool formula = false; bool formula = false;
bool automaton = false;
bool safra = false; bool safra = false;
bool print_formula = false; bool print_formula = false;
...@@ -78,7 +77,7 @@ int main(int argc, char* argv[]) ...@@ -78,7 +77,7 @@ int main(int argc, char* argv[])
if (strcmp(argv[i] + 1, "astat") == 0) if (strcmp(argv[i] + 1, "astat") == 0)
{ {
stats = true; stats = true;
automaton = true; formula = false;
continue; continue;
} }
...@@ -98,7 +97,8 @@ int main(int argc, char* argv[]) ...@@ -98,7 +97,8 @@ int main(int argc, char* argv[])
case 'a': case 'a':
print_automaton = true; break; print_automaton = true; break;
case 'f': case 'f':
check = true; break; //check = true;
break;
case 'p': case 'p':
print_formula = true; break; print_formula = true; break;
default: default:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment