1 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
2 # Copyright (C) 2012 INRIA
4 # increment SFA_API_LOGLEVEL on all incoming plc_spec's
6 def config (plc_specs, options):
7 def tweak_loglevel (plc_spec):
8 plc_spec['sfa']['SFA_API_LOGLEVEL'] += 1
10 return [tweak_loglevel (plc_spec) for plc_spec in plc_specs ]