system/config_dual.py

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