oops

[tests.git] / system / config_triangle.py

diff --git a/system/config_triangle.py b/system/config_triangle.py
index 1380208..91c79e4 100644 (file)
--- a/system/config_triangle.py
+++ b/system/config_triangle.py
@@ -1,10 +1,10 @@
 # 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)