A forum for Spin users
You are not logged in.
Pages: 1
Dear all,
I am a new beginner about the SPIN.
I have tested the codes below:
"
proctype A(){
printf("123");
}
init { run A() }
"
run simulation and found about the result of "printf"
didn't appear in "Data Values" panel, why?
Cheers,
Chengxiu
Offline
so where will show the output of the "printf" ? for XSPIN
Offline
Ok, thanks.
by the way, is there any online video tutorial about the Promela?
Offline
Pages: 1