I tried to follow the solution that was posted and now run into a
transition error in which the Owner receives a GETS_LAST_token message.
Shouldn't in the transition proposed in the solution also include the
Owner state, such that if the Owner has just one token left, he would
not give it away ?
Niket
Niket wrote:
Hi all,
I found an assertion failure similar to
https://lists.cs.wisc.edu/archive/gems-users/2005-August/msg00001.shtml
Any clue whether this was solved earlier or the proposed solution in the
post worked ??
Niket
_______________________________________________
Gems-users mailing list
Gems-users@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/gems-users
Use Google to search the GEMS Users mailing list by adding "site:https://lists.cs.wisc.edu/archive/gems-users/"; to your search.
|