From 1b86bfd9f449f03c58410ac00a31ef3e14d31b2e Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Tue, 22 May 2012 16:38:46 +0200 Subject: [PATCH] -c sfavoid allows to test with flavour=void --- system/config_sfavoid.py | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 system/config_sfavoid.py diff --git a/system/config_sfavoid.py b/system/config_sfavoid.py new file mode 100644 index 0000000..90b7fb5 --- /dev/null +++ b/system/config_sfavoid.py @@ -0,0 +1,12 @@ +# Thierry Parmentelat +# Copyright (C) 2012 INRIA +# +# this config is defined to run on top of another one +# and just sets the generic flavour to 'void' + +def config (plc_specs, options): + def tweak_loglevel (plc_spec): + plc_spec['sfa']['SFA_GENERIC_FLAVOUR'] = 'void' + plc_spec['sfa']['SFA_AGGREGATE_ENABLED'] = 'false' + return plc_spec + return [ tweak_loglevel (plc_spec) for plc_spec in plc_specs ] -- 2.43.0