system/config_dual.py

   1 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
   2 # Copyright (C) 2010 INRIA
   3 #
   4 # just overwrite options.size to be 2 and re-use the default config
   5 import config_default
   6
   7 def config (plc_specs, options):
   8     options.size=2
   9     return config_default.config(plc_specs,options)
  10