added reward structure

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@526 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 1e820ec41a
1 changed files with 1 additions and 3 deletions
--- a/prism-examples/tandem/tandem.sm
+++ b/prism-examples/tandem/tandem.sm
@ -33,8 +33,6 @@ module serverM
 endmodule

 // reward - number of customers in network
-rewards
-	
+rewards "customers"
 	true : sc + sm;
-	
 endrewards