system/config_quad.py

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