Promelaメモ2

「Promelaメモ2」の編集履歴(バックアップ)一覧に戻る

Promelaメモ2 - (2011/02/03 (木) 19:01:45) の編集履歴(バックアップ)



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

初期化しないと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