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

tests: workaround test not failing if the Spot support more colors

Browse source 
* configure.ac (MAX_ACCSETS): Add AC_SUBST.
* tests/run.in: Define MAX_ACCSETS.
* tests/core/prodchain.test: Test MAX_ACCSETS.
This commit is contained in:
Alexandre Duret-Lutz 2022-06-21 14:24:08 +02:00
parent 23908f3d2f
commit 8161a8c531
3 changed files with 13 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
configure.ac
View file

@ -79,6 +79,7 @@ if test 0 -eq `expr $enable_max_accsets % $default_max_accsets`
then
AC_DEFINE_UNQUOTED([MAX_ACCSETS], [$enable_max_accsets],
[The maximal number of acceptance sets supported (also known as acceptance marks)])
AC_SUBST([MAX_ACCSETS], [$enable_max_accsets])
else
AC_MSG_ERROR([The argument of --enable-max-accsets must be a multiple of $default_max_accsets])
fi

12
tests/core/prodchain.test
View file

@ -32,8 +32,10 @@ for i in *.hoa; do
shift
done
shift
autfilt "$@" 2> error && exit 1
grep 'Too many acceptance sets used' error
if $MAX_ACCSETS -eq 32; then
autfilt "$@" 2> error && exit 1
grep 'Too many acceptance sets used' error
fi
autfilt -B "$@" > result
test "127,253,508,1" = `autfilt --stats=%s,%e,%t,%a result`
@ -44,7 +46,9 @@ for i in *.hoa; do
shift
done
shift
autfilt "$@" 2> error && exit 1
grep 'Too many acceptance sets used' error
if $MAX_ACCSETS -eq 32; then
autfilt "$@" 2> error && exit 1
grep 'Too many acceptance sets used' error
fi
autfilt -B "$@" > result
test "45,89,180,1" = `autfilt --stats=%s,%e,%t,%a result`

5
tests/run.in
View file

@ -1,6 +1,6 @@
#!/bin/sh
# -*- coding: utf-8 -*-
# Copyright (C) 2010-2011, 2014-2016, 2018-2021 Laboratoire de Recherche
# Copyright (C) 2010-2011, 2014-2016, 2018-2022 Laboratoire de Recherche
# et Developpement de l'EPITA (LRDE).
# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6
# (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
@ -75,6 +75,9 @@ export SPOT_DOTDEFAULT=
SPOT_UNINSTALLED=1
export SPOT_UNINSTALLED
MAX_ACCSETS=@MAX_ACCSETS@
export MAX_ACCSETS
case $1 in
*/*)
dir=${1%/*}