diff --git a/configure.ac b/configure.ac index 7c0ff62ae..2d6b4be1f 100644 --- a/configure.ac +++ b/configure.ac @@ -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 diff --git a/tests/core/prodchain.test b/tests/core/prodchain.test index 0a7f1a1d9..e00422148 100755 --- a/tests/core/prodchain.test +++ b/tests/core/prodchain.test @@ -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` diff --git a/tests/run.in b/tests/run.in index 7eaa7732c..3b9470bef 100755 --- a/tests/run.in +++ b/tests/run.in @@ -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%/*}