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