X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=system%2Fconfig_triangle.py;h=acce24f8b6e9ff48014e89efba55ed3ab219ec4e;hb=5148b9f217612f5044034a3f2efd7a69a9a25529;hp=1380208216503a44b77b4e839a655e427583a873;hpb=5d0bb1028cc2402f419803d7e521b5e151ba8771;p=tests.git

diff --git a/system/config_triangle.py b/system/config_triangle.py
index 1380208..acce24f 100644
--- a/system/config_triangle.py
+++ b/system/config_triangle.py
@@ -1,10 +1,11 @@
+# -*- python3 -*-
 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
-# Copyright (C) 2010 INRIA 
+# Copyright (C) 2015 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)