alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* iface/gspn/ssp.cc (couvreur99_check_shy_ssp::find_state): Correctly

Browse source 
update the emptiness statistics.

* m4/gspnlib.m4: Typo.
This commit is contained in:
Alexandre Duret-Lutz 2006-02-10 12:13:26 +00:00
parent ffd47e425e
commit 723054ce80
3 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2006-02-10 Alexandre Duret-Lutz <adl@src.lip6.fr>
* iface/gspn/ssp.cc (couvreur99_check_shy_ssp::find_state): Correctly
update the emptiness statistics.
* m4/gspnlib.m4: Typo.
2006-02-05 Alexandre Duret-Lutz <adl@gnu.org> 2006-02-05 Alexandre Duret-Lutz <adl@gnu.org>
* iface/gspn/ssp.cc: Pacify sanity.test. * iface/gspn/ssp.cc: Pacify sanity.test.

1
iface/gspn/ssp.cc
View file

@ -970,6 +970,7 @@ namespace spot
(succ_tgba_[i], (succ_tgba_[i],
old_state->right()->clone()); old_state->right()->clone());
queue.push_back(successor(queue.begin()->acc, s)); queue.push_back(successor(queue.begin()->acc, s));
inc_depth();
} }
if (size_tgba_ != 0) if (size_tgba_ != 0)
diff_succ_free(succ_tgba_); diff_succ_free(succ_tgba_);

2
m4/gspnlib.m4
View file

@ -1,6 +1,6 @@
AC_DEFUN([AX_CHECK_GSPNLIB], [ AC_DEFUN([AX_CHECK_GSPNLIB], [
AC_ARG_WITH([gspn], AC_ARG_WITH([gspn],
[AC_HELP_STRING([--with-gpsn=/root/of/greatspn], [AC_HELP_STRING([--with-gspn=/root/of/greatspn],
[build interface with GreadSPN])]) [build interface with GreadSPN])])
if test "x${with_gspn-no}" != xno; then if test "x${with_gspn-no}" != xno; then
ax_tmp_LDFLAGS=$LDFLAGS ax_tmp_LDFLAGS=$LDFLAGS