From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 23 Mar 2011 14:10:20 +0000 (+0100)
Subject: 3 strongly connected SFAs
X-Git-Tag: tests-5.0-27~11
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=5d0bb1028cc2402f419803d7e521b5e151ba8771;p=tests.git

3 strongly connected SFAs
---

diff --git a/system/config_triangle.py b/system/config_triangle.py
new file mode 100644
index 0000000..1380208
--- /dev/null
+++ b/system/config_triangle.py
@@ -0,0 +1,11 @@
+# Thierry Parmentelat <thierry.parmentelat@inria.fr>
+# Copyright (C) 2010 INRIA 
+#
+# just overwrite options.size to be 2 and re-use the default config
+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)
+