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

Fix a memory leak in Cou99 statistics.

Browse source 
* src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::acss_states):
Delete the iterator after using it.
* src/tgbatest/emptchkr.test: Run 'randtgba -z' with valgrind too.
This commit is contained in:
Alexandre Duret-Lutz 2010-01-21 11:57:44 +01:00
parent 99884e8e0f
commit 79cb3ff512
3 changed files with 17 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/tgbatest/emptchkr.test
View file

@ -1,7 +1,9 @@
#!/bin/sh
# Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6),
# Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
# département Systèmes Répartis Coopératifs (SRC), Université Pierre
# et Marie Curie.
# Copyright (C) 2009, 2010 Laboratoire de Recherche de Développement de
# l'Epita (LRDE).
#
# This file is part of Spot, a model checking library.
#
@ -29,6 +31,9 @@ set -e
# With no acceptance condition, everyone should agree and find a run.
# Do not spend to much time checking this.
run 0 ../randtgba -e 10 -s 0 -r -m
# Test some statistic output
run 0 ../randtgba -z -e 10 -s 0 -r -m
run 0 ../randtgba -1 -e 10 -s 0 -r -m
# One acceptance condition
run 0 ../randtgba -e 100 -s 0 -r -m -a 1 0.1 -d 0.01