2 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
3 # Copyright (C) 2015 INRIA
5 # this config is defined to run on top of another one
6 # and just sets the generic flavour to 'void'
8 def config (plc_specs, options):
9 def tweak_loglevel (plc_spec):
10 plc_spec['sfa']['SFA_GENERIC_FLAVOUR'] = 'void'
11 plc_spec['sfa']['SFA_AGGREGATE_ENABLED'] = 'false'
13 return [ tweak_loglevel (plc_spec) for plc_spec in plc_specs ]