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

* iface/gspn/ltlgspn.cc (main) [SSP]: Use the standard

counter-example computation for -e5 too.
parent 83c4c02d
2004-04-17 Alexandre Duret-Lutz <adl@gnu.org>
* iface/gspn/ltlgspn.cc (main) [SSP]: Use the standard
counter-example computation for -e5 too.
* iface/gspn/ltlgspn.cc (main) [!SSP]: Do not accept -e3, -e4, or -e5.
(main) [SSP]: Use the standard counter-example computation
for -e and -e1.
......
......@@ -236,6 +236,7 @@ main(int argc, char **argv)
{
case Couvreur:
case Couvreur2:
case Couvreur5:
ce = new spot::counter_example(ecs);
break;
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