From 6977824d506850a16275c8e19685a8866aa7cc56 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 12 Sep 2011 12:42:23 +0200
Subject: [PATCH] allows to test with 4 plcs

---
 system/config_quad.py | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 system/config_quad.py

diff --git a/system/config_quad.py b/system/config_quad.py
new file mode 100644
index 0000000..12d6fe2
--- /dev/null
+++ b/system/config_quad.py
@@ -0,0 +1,11 @@
+# Thierry Parmentelat <thierry.parmentelat@inria.fr>
+# Copyright (C) 2010 INRIA 
+#
+# re-use the default config with 3 myplc's and 
+# 3 SFA's for checking antiloop on some decent scale
+import config_default
+
+def config (plc_specs, options):
+    options.size=4
+    return config_default.config(plc_specs,options)
+    
-- 
2.47.0