label

Former-commit-id: 88b6ce4560 [formerly d698b1b83c] Former-commit-id: c119304243
9 years ago · 3ffc93f9b2
1 changed files with 1 additions and 0 deletions
--- a/examples/pmdp/brp/brp.pm
+++ b/examples/pmdp/brp/brp.pm
@ -137,3 +137,4 @@ module	channelL
 endmodule


+label "fatal" = s=5 & T;