From d0a7a3ab549bd7d2231d3c4d49247ac5ba039416 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 25 Jul 2003 14:12:01 +0000 Subject: [PATCH] * iface/gspn/dcswave.test: Comment state space sizes. --- ChangeLog | 4 +++- iface/gspn/dcswave.test | 3 +++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 54ea26ede..4fb21cbae 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,8 +1,10 @@ 2003-07-25 Alexandre Duret-Lutz + * iface/gspn/dcswave.test: Comment state space sizes. + * src/tgbaalgos/Makefile.am (tgbaalgos_HEADERS): Add reachiters.hh. (libtgbaalgos_la_SOURCES): Add reachiters.cc. - * src/tgbaalgos/dotty.cc, src/tgbaalgos/save.cc: Rewrite using + * src/tgbaalgos/dotty.cc, src/tgbaalgos/save.cc: Rewrite using spot::tgba_reachable_iterator_breadth_first. * src/tgbatest/explicit.test, src/tgbatest/tgbaread.test, src/tgbatest/tripprod.test: Adjust expected output. diff --git a/iface/gspn/dcswave.test b/iface/gspn/dcswave.test index 753b98a13..1d19358be 100755 --- a/iface/gspn/dcswave.test +++ b/iface/gspn/dcswave.test @@ -6,5 +6,8 @@ set -e cp -R $srcdir/examples/DCSwave . +# Run this if you want, it builds approximately 3,600,000 states. # ../dottygspn-rg DCSwave/DCSWave ATTiIDLj SCi SCj >output + +# Only 5,579 states. ../dottygspn-srg DCSwave/DCSWave ATTiIDLj SCi SCj >output