# Thierry Parmentelat <thierry.parmentelat@inria.fr>
# Copyright (C) 2010 INRIA
#
-# just overwrite options.size to be 2 and re-use the default config
+# re-use the default config with 3 myplc's and
+# 3 SFA's for checking antiloop on some decent scale
import config_default
-# for checking antiloop on some decent scale
def config (plc_specs, options):
options.size=3
return config_default.config(plc_specs,options)