system/config_sfavoid.py

   1 # -*- python3 -*-
   2 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
   3 # Copyright (C) 2015 INRIA
   4 #
   5 # this config is defined to run on top of another one
   6 # and just sets the generic flavour to 'void'
   7
   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'
  12         return plc_spec
  13     return [ tweak_loglevel (plc_spec) for plc_spec in plc_specs ]