I have attached samples which show the bugs.
1) Asymmetry in the multiple payload types in a single state. Call and transition in a state not allowed.
2) This pointer inside a foreign function.
Id #3 | Release:
| Updated: Oct 31, 2013 at 6:39 PM by ankushd | Created: Oct 31, 2013 at 6:39 PM by ankushd
Type checking in P has some bug. NonDet are allowed in real machines.
I have attached 2 examples which should fail.
Also, I don't completely understand the reason/need of allowing non-det to gh...
Id #2 | Release:
| Updated: Oct 8, 2013 at 6:31 PM by ankushd | Created: Oct 8, 2013 at 6:30 PM by ankushd