A forum for Spin users
You are not logged in.
Pages: 1
I wonder if you could give me a little hint for solving it, like how to send printf or string over a channel.
I will be very greatful!
proctype hello(){ printf("Hello\n") }
proctype world(){ printf("World\n") }
init { atomic {run hello(); run world()}}
I need to modify this code so that the command printf("Hello") is executed always before printf("World"),and it needs to be done with two channel.
I am new in Spin,and this is my frist homework and I'm not sure is it possible to send printf over a channel :S
Thanks in advance !
Pages: 1