system/config_quad.py

   1 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
   2 # Copyright (C) 2010 INRIA
   3 #
   4 # re-use the default config with 3 myplc's and
   5 # 3 SFA's for checking antiloop on some decent scale
   6 import config_default
   7
   8 def config (plc_specs, options):
   9     options.size=4
  10     return config_default.config(plc_specs,options)
  11