added labels for error in pdtmc/brp

Former-commit-id: 94e0376aa6 [formerly a58bf3787e] Former-commit-id: c525fd395d
8 years ago · ec830adb19
4 changed files with 7 additions and 0 deletions
--- 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
+
--- 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;
--- 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;
+
--- 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;