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