Promelaメモ2


※上記の広告は60日以上更新のないWIKIに表示されています。更新することで広告が下部へ移動します。


いつも確認したくなること

その1
初期化しないと0が入る
  1. bit n1;
  2. bool n2;
  3. byte n3;
  4. short n4;
  5. int n5;
  6. mtype n6;
  7.  
  8. active proctype P1(){
  9. printf("bit:%d\n", n1);
  10. printf("bool:%d\n", n2);
  11. printf("byte:%d\n", n3);
  12. printf("short:%d\n", n4);
  13. printf("int:%d\n", n5);
  14. printf("mtype:%d\n", n6);
  15. }

結果($spinオプションなし)
bit:0
bool:0
byte:0
short:0
int:0
mtype:0
1 process created