X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=system%2Fconfig_triangle.py;h=acce24f8b6e9ff48014e89efba55ed3ab219ec4e;hb=47327e9d3a9ee1d09f0dd6689ec89f6e87a27b32;hp=1380208216503a44b77b4e839a655e427583a873;hpb=9de508dc81a4b3c6b207cc042a32006a5bccb1a6;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)