From ec830adb19df7c4280ff55314810986170d162b2 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Mon, 10 Oct 2016 16:58:43 +0200
Subject: [PATCH] added labels for error in pdtmc/brp

Former-commit-id: 94e0376aa6628c54e5f8bad29f550f0b76d37dc7 [formerly a58bf3787e9e1816420e6ba5bf371d9394820f4e]
Former-commit-id: c525fd395db9c98d8007caa9a505a5b9329501b6
---
 examples/pdtmc/brp/brp.pm                      | 1 +
 examples/pdtmc/brp/brp16_2.pm                  | 2 ++
 examples/pdtmc/brp_rewards2/brp_rewards16_2.pm | 2 ++
 examples/pdtmc/brp_rewards4/brp_rewards16_2.pm | 2 ++
 4 files changed, 7 insertions(+)

diff --git a/examples/pdtmc/brp/brp.pm b/examples/pdtmc/brp/brp.pm
index 897f9909e..7a3cb325b 100644
--- a/examples/pdtmc/brp/brp.pm
+++ b/examples/pdtmc/brp/brp.pm
@@ -133,3 +133,4 @@ module  channelL
     [TO_Ack] (l=2) -> (l'=0);
     
 endmodule
+
diff --git a/examples/pdtmc/brp/brp16_2.pm b/examples/pdtmc/brp/brp16_2.pm
index 2e20b7de4..0fc99d05e 100644
--- a/examples/pdtmc/brp/brp16_2.pm
+++ b/examples/pdtmc/brp/brp16_2.pm
@@ -133,3 +133,5 @@ module  channelL
     [TO_Ack] (l=2) -> (l'=0);
     
 endmodule
+
+label "error" = s=5;
diff --git a/examples/pdtmc/brp_rewards2/brp_rewards16_2.pm b/examples/pdtmc/brp_rewards2/brp_rewards16_2.pm
index 0b05d22fd..7145a77ae 100644
--- a/examples/pdtmc/brp_rewards2/brp_rewards16_2.pm
+++ b/examples/pdtmc/brp_rewards2/brp_rewards16_2.pm
@@ -144,3 +144,5 @@ rewards
 endrewards
 
 
+label "target" = s=5;
+
diff --git a/examples/pdtmc/brp_rewards4/brp_rewards16_2.pm b/examples/pdtmc/brp_rewards4/brp_rewards16_2.pm
index d756a90ec..ff62fea14 100644
--- a/examples/pdtmc/brp_rewards4/brp_rewards16_2.pm
+++ b/examples/pdtmc/brp_rewards4/brp_rewards16_2.pm
@@ -144,3 +144,5 @@ rewards
 endrewards
 
 
+
+label "target" = s=5;
\ No newline at end of file