1 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
2 # Copyright (C) 2010 INRIA
4 # just overwrite options.size to be 2 and re-use the default config
7 # for checking antiloop on some decent scale
8 def config (plc_specs, options):
10 return config_default.config(plc_specs,options)