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