From 8fabc2064a1f427588e465b3b039fb287f5610b4 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 29 Jan 2014 11:41:18 +0100
Subject: [PATCH] Added property files for WLAN example.

Former-commit-id: 04d6b22b444d7d853c1033b84bc0c5b1434b197d
---
 examples/mdp/wlan/wlan0_4.cexprop | 1 +
 examples/mdp/wlan/wlan0_6.cexprop | 1 +
 examples/mdp/wlan/wlan2_4.cexprop | 1 +
 examples/mdp/wlan/wlan2_6.cexprop | 1 +
 examples/mdp/wlan/wlan4_6.cexprop | 1 +
 5 files changed, 5 insertions(+)
 create mode 100644 examples/mdp/wlan/wlan0_4.cexprop
 create mode 100644 examples/mdp/wlan/wlan0_6.cexprop
 create mode 100644 examples/mdp/wlan/wlan2_4.cexprop
 create mode 100644 examples/mdp/wlan/wlan2_6.cexprop
 create mode 100644 examples/mdp/wlan/wlan4_6.cexprop

diff --git a/examples/mdp/wlan/wlan0_4.cexprop b/examples/mdp/wlan/wlan0_4.cexprop
new file mode 100644
index 000000000..8af300d54
--- /dev/null
+++ b/examples/mdp/wlan/wlan0_4.cexprop
@@ -0,0 +1 @@
+P<0.003 [ F fourCollisions ]
diff --git a/examples/mdp/wlan/wlan0_6.cexprop b/examples/mdp/wlan/wlan0_6.cexprop
new file mode 100644
index 000000000..d7bf09293
--- /dev/null
+++ b/examples/mdp/wlan/wlan0_6.cexprop
@@ -0,0 +1 @@
+P<0.0001 [ F sixCollisions ]
diff --git a/examples/mdp/wlan/wlan2_4.cexprop b/examples/mdp/wlan/wlan2_4.cexprop
new file mode 100644
index 000000000..aee1d6de8
--- /dev/null
+++ b/examples/mdp/wlan/wlan2_4.cexprop
@@ -0,0 +1 @@
+P<0.0004 [ F fourCollisions ]
diff --git a/examples/mdp/wlan/wlan2_6.cexprop b/examples/mdp/wlan/wlan2_6.cexprop
new file mode 100644
index 000000000..d45360df7
--- /dev/null
+++ b/examples/mdp/wlan/wlan2_6.cexprop
@@ -0,0 +1 @@
+P<0.000001 [ F sixCollisions ]
diff --git a/examples/mdp/wlan/wlan4_6.cexprop b/examples/mdp/wlan/wlan4_6.cexprop
new file mode 100644
index 000000000..ea38115ab
--- /dev/null
+++ b/examples/mdp/wlan/wlan4_6.cexprop
@@ -0,0 +1 @@
+P<0.0000001 [ F sixCollisions ]