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

* tests/core/bdd.test: Cover garbage collection hooks.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2018-05-16 16:11:49 +02:00
parent f3a80a58c5
commit a94cc623ad
1 changed files with 10 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

13
tests/core/bdd.test
View file

@ -1,6 +1,6 @@
#!/bin/sh #!/bin/sh
# -*- coding: utf-8 -*- # -*- coding: utf-8 -*-
# Copyright (C) 2017 Laboratoire de Recherche et Développement de # Copyright (C) 2017, 2018 Laboratoire de Recherche et Développement de
# l'Epita (LRDE). # l'Epita (LRDE).
# #
# This file is part of Spot, a model checking library. # This file is part of Spot, a model checking library.
@ -23,7 +23,14 @@ set -e
# Make sure that setting the SPOT_BDD_TRACE envvar actually does # Make sure that setting the SPOT_BDD_TRACE envvar actually does
# something. # something.
SPOT_BDD_TRACE=1 ltl2tgba a >out 2>err genltl --kr-nlogn=2 | SPOT_BDD_TRACE=1 ltl2tgba -D >out 2>err
cat err
grep spot: out && exit 1 grep spot: out && exit 1
grep 'spot: BDD package initialized' err grep 'spot: BDD package initialized' err
grep 'spot: BDD stats:' err # This value below, which is the number of time we need to garbage
# collect might change if we improve the tool or change the way BuDDy
# is initialized.
test 63 = `grep -c 'spot: BDD GC' err`
# Minimal size for this automaton.
# See also https://www.lrde.epita.fr/dload/spot/mochart10-fixes.pdf
test "147,207" = `autfilt --stats=%s,%e out`