system/config_sfavoid.py

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